[ library(COLIBRI_DOC) | ]

set_threshold(T)

Change reduction threshold.
T
A number between 0.0 and 1.0.

Description

This directive sets the reduction threshold used for Real constraints notification (default value: 1e-3).

Resatisfiable

no