3 Commits

Author	SHA1	Message	Date
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
Corentin Le Molgat	1b4d75ceb3	sat: backport from main	2025-11-05 13:55:12 +01:00
Laurent Perron	5d85f840b5	[CP-SAT] fix #4839; experimental code for lrat checker; experimental code to control the boolean expansion of small linear2 equations	2025-09-29 16:35:16 +02:00