2 Commits

Author	SHA1	Message	Date
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
Laurent Perron	c06d62f0cb	rename internal sat method; more tests	2025-04-03 16:18:34 +02:00