[ library(COLIBRI_DOC) | ]

use_3B

Enable 3B filtering.

Description

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

Resatisfiable

no