20 Commits

Author SHA1 Message Date
Guillaume Chatelet
e1f2e3f0d7 Remove unneeded string_view_migration 2025-10-01 08:08:36 +02:00
Corentin Le Molgat
0db80a34f6 sat: backport from main 2025-08-06 10:54:53 +02:00
Corentin Le Molgat
4151254eba sat: backport from main 2025-07-23 15:04:05 +02:00
Laurent Perron
0d00ef7cd3 cleanup expression for cp-sat and model_builder 2025-06-13 13:24:14 +02:00
Laurent Perron
105835ab95 [CP-SAT] improve python layer for += and -= operators 2025-06-12 11:12:21 +02:00
Laurent Perron
a4d26537d5 fix #4654 2025-05-21 12:38:03 +02:00
Laurent Perron
61cdb4286b more work on sat 2025-03-27 06:41:16 -07:00
Mizux Seiha
068359c162 ortools: backport from main 2025-03-04 21:09:32 +01:00
Laurent Perron
c71e734199 [CP-SAT] rewrite python memory management; optimize object creation in the python layer; fix plenty of fuzzer bugs; better processing of fixed rectangles in no_overlap_2d 2025-01-19 12:04:23 +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
ef9e9547bc [CP-SAT] fix more fuzzer bugs; polish python code 2025-01-06 21:53:02 +01:00
Laurent Perron
0bee4930f1 internal renaming 2025-01-03 10:57:40 +01:00
Laurent Perron
57048af0fd [CP-SAT] polish python layer 2024-12-30 11:41:49 +01:00
Laurent Perron
ea2e1b63af [CP-SAT] polish python linear expr code 2024-12-29 23:34:09 +01:00
Laurent Perron
2b223565f4 [CP-SAT] more work on python layer 2024-12-29 22:49:23 +01:00
Laurent Perron
39248b01c2 [CP-SAT] fix python layer 2024-12-29 21:47:19 +01:00
Laurent Perron
a698db2194 [CP-SAT] more work on python linear expressions 2024-12-29 19:22:47 +01:00
Laurent Perron
eea1e3d50a [CP-SAT] fix memory management of the python layer; properly fails with None arguments 2024-12-29 10:40:09 +01:00
Laurent Perron
11c14cde60 [CP-SAT] revamp python implementation: introduce proper FloatLinearExpr class, move most of the expressions classes to C++ 2024-12-28 11:24:13 +01:00