v2.0.2

Fabien Catteau

@fcatteau

108fd500 · Merge branch 'fix-version-sat-do-not-join-cuts' into 'master' · Mar 20, 2024

Release: v2.0.2

Improve version_sat? logic for disjunctions of equalities