[
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