[ library(COLIBRI_DOC) | ]

no_3B

Disable 3B filtering.

Description

This directive disable the use of 3B filtering during constraints solving.

Resatisfiable

no