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)

Conflicts:
	org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/ConflictMap.java

clause reduction. Add a new solver in the solver factory.

Conflicts:
	org.sat4j.pb/src/main/java/org/sat4j/pb/SolverFactory.java