2 Commits

Author	SHA1	Message	Date
Laurent Perron	8d3645a6cd	[CP-SAT] fix vivification bug; more work on encodings	2026-01-07 16:18:00 +01:00
Laurent Perron	562ffd7eed	[CP-SAT] more work on lrat; cleanup memory management in scheduling clauses; improve encoded only variable expansion; fix a few bugs	2025-12-15 13:07:29 +01:00