[
library(COLIBRI_DOC)
| ]
use_3B
Enable 3B filtering.
Description
This directive enable the use of 3B filtering during constraints solving.
Resatisfiable
no