[
library(COLIBRI_DOC)
| ]
use_delta
Enable difference logics and simplex.
Description
This directive enable the use of difference logics and simplex (for integer constraints only).
Resatisfiable
no