[
library(COLIBRI_DOC)
| ]
no_delta
Disable difference logics and simplex.
Description
This directive disable the use of difference logics and simplex.
Resatisfiable
no