[ library(COLIBRI_DOC) | ]
get_threshold(T)
Return current reduction threshold.
- T
- A number between 0.0 and 1.0.
Description
This directive returns the current reduction threshold used for Real constraints notification (default value: 1e-3).
Resatisfiable
no