18 Commits

Author SHA1 Message Date
Laurent Perron
cfdbc48ad2 fix 2025-12-01 17:48:20 +01:00
Laurent Perron
993ac168d6 [Python] improve support for gil-less python 3.14 2025-12-01 17:48:09 +01:00
Laurent Perron
fce013c63e tentative fix for #4929 2025-12-01 17:44:11 +01:00
Corentin Le Molgat
1b4d75ceb3 sat: backport from main 2025-11-05 13:55:12 +01:00
Guillaume Chatelet
e1f2e3f0d7 Remove unneeded string_view_migration 2025-10-01 08:08:36 +02:00
Laurent Perron
0cbdbb78f1 [CP-SAT] little cleanups 2025-09-29 16:35:28 +02:00
Mizux Seiha
4f381f6d07 backport from main:
* bump abseil to 20250814
* bump protobuf to v32.0
* cmake: add ccache auto support
* backport flatzinc, math_opt and sat update
2025-09-16 16:25:04 +02:00
Corentin Le Molgat
0db80a34f6 sat: backport from main 2025-08-06 10:54:53 +02:00
Guillaume Chatelet
cddd80e8e2 Backport string_view_migration.h 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
aa12c651b6 improve python exprs 2025-06-12 14:05:56 +02:00
Laurent Perron
105835ab95 [CP-SAT] improve python layer for += and -= operators 2025-06-12 11:12:21 +02:00
Laurent Perron
abb4301ea2 [CP-SAT] minor python improvements (handling of None; remove all names from a model) 2025-06-11 15:04:28 +02:00
Laurent Perron
a4d26537d5 fix #4654 2025-05-21 12:38:03 +02:00
Mizux Seiha
068359c162 ortools: backport from main 2025-03-04 21:09:32 +01:00
Laurent Perron
9cb88905e8 [CP-SAT] regroup all hint preservation code in a SolutionCrunch class; more work on no_overlap_2d propagator; add exception processing if an exceptions is raised in a python callback (solution, log, best_bound) 2025-01-20 15:00:46 +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