[ 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