GitLab

DivideBy2

coefficients as much as possible during conflict analysis)

functions now throws a dedicated exception.

and remove it from the standard process.

(CuttingPlanesWatched)

implication of all literals => does not suit for instances needing
cutting planes
correct card and clause post-processing to choose "best" assertive
literal (at the upper level of decision, with the biggest coefficient in
case of card post-processing)