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