[ library(COLIBRI_DOC) | ]

no_delta

Disable difference logics and simplex.

Description

This directive disable the use of difference logics and simplex.

Resatisfiable

no