12 Commits

Author SHA1 Message Date
Corentin Le Molgat
b4b226801b update include guards 2025-11-05 11:54:02 +01:00
Laurent Perron
54b8c24839 big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code 2025-01-15 13:51:40 +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
Laurent Perron
21a75638c2 partial sync with main (without the routing part) 2024-07-12 13:56:11 +02:00
Laurent Perron
16907575a6 [CP-SAT] improve 2d packing; fix cumulative with variable profile sample 2024-05-30 10:52:44 +02:00
Laurent Perron
97cf1237e0 [CP-SAT] new sample;improve no_overlap_2d code 2024-05-30 10:51:54 +02:00
Laurent Perron
a166810d9a [CP-SAT] add rlt cuts; improve no_overlap_2d propagation 2024-02-28 17:20:23 +01:00
Corentin Le Molgat
4d3437e460 sat: export from google3 2024-02-06 18:39:47 +01:00
Laurent Perron
8d4b32967c [CP-SAT] cleanup diffn propagation; remove dead code 2024-01-31 14:44:02 +01:00
Laurent Perron
d9036bffeb more work on 2d packing 2024-01-25 13:26:36 +01:00
Laurent Perron
e9c81911c4 [CP-SAT] memory optimizations; improve no_overlap_2d; change default parameters 2024-01-10 16:42:04 +01:00