[ 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