4 Commits

Author	SHA1	Message	Date
Corentin Le Molgat	a66a6daac7	Bump Copyright to 2025	2025-01-10 11:35:44 +01:00
Laurent Perron	dba2281f13	[CP-SAT] more work on no_overlap_2d; revisit all includes	2024-12-04 17:47:28 +01:00
Laurent Perron	ee241f30b5	[CP-SAT] supports affine expression in automaton	2024-10-25 13:15:40 +02:00
Laurent Perron	663a591a32	[CP-SAT] move code around; add more tests	2024-10-23 15:47:31 +02:00