2 Commits

Author SHA1 Message Date
Laurent Perron
b7d1dc65dc [CP-SAT] more work on lrat; canonicalize Boolean variables in a few more places 2025-12-08 11:24:06 +01:00
Laurent Perron
3b18bdd58b [CP-SAT] morework on lrat 2025-12-05 08:27:10 +01:00