4.10.2

cprudhom released this 14 Oct 13:20

· 1634 commits to master since this release

Major features:

fix issues relative to propagation
change constraints' status checking
change stop conditions in ExplanationForSignedClause
add stable module name

Closed issues and pull requests:

Assets 3