Corentin Le Molgat
|
b4b226801b
|
update include guards
|
2025-11-05 11:54:02 +01:00 |
|
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 |
|
Corentin Le Molgat
|
00885d45bd
|
sat: backport from main
|
2024-11-15 14:40:47 +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 |
|