[
library(COLIBRI_DOC)
| ]
no_3B
Disable 3B filtering.
Description
This directive disable the use of 3B filtering during constraints solving.
Resatisfiable
no