Laurent Perron
|
4dab47eaa6
|
[CP-SAT] bugfixes
|
2025-12-15 13:59:08 +01:00 |
|
Corentin Le Molgat
|
146566e2be
|
sat: increase time limit in test_issue4376_minimize_model (fix #4941)
|
2025-12-15 13:07:57 +01:00 |
|
Laurent Perron
|
4a2de332ce
|
[CP-SAT] bug fixes, memory utilization reduction; more work on lrat
|
2025-12-09 19:09:37 +01:00 |
|
Laurent Perron
|
cd37bacd2a
|
backport sat from main
|
2025-11-24 16:26:34 +01:00 |
|
Corentin Le Molgat
|
1b4d75ceb3
|
sat: backport from main
|
2025-11-05 13:55:12 +01:00 |
|
Corentin Le Molgat
|
b05315de21
|
sat: backport from main
|
2025-09-22 17:24:20 +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 |
|
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
|
aa12c651b6
|
improve python exprs
|
2025-06-12 14:05:56 +02:00 |
|
Laurent Perron
|
803c4269e2
|
improve python exprs
|
2025-06-12 11:52:16 +02:00 |
|
Laurent Perron
|
6e24da8ea4
|
fix
|
2025-06-12 11:18:43 +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 |
|
Laurent Perron
|
a4b37b6465
|
large sync with main
|
2025-03-07 10:33:36 +01:00 |
|
Mizux Seiha
|
068359c162
|
ortools: backport from main
|
2025-03-04 21:09:32 +01:00 |
|
Laurent Perron
|
8d90fe1ca3
|
[CP-SAT] fix #4568
|
2025-02-25 21:47:26 +01:00 |
|
Laurent Perron
|
f42d60d411
|
[CP-SAT] fix bug in cuts; add more python tests
|
2025-01-29 13:24:43 +01:00 |
|
Laurent Perron
|
5341feef73
|
[CP-SAT] add experimental routing constraint; more no_overlap_2d presolve; add random_half branching heuristics
|
2025-01-28 13:34:40 +01:00 |
|
Laurent Perron
|
054289ae7f
|
[CP-SAT] regroup hint code; fix more fuzzer bugs
|
2025-01-21 15:34:42 +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 |
|
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
|
bba6615f7d
|
[CP-SAT] fix API + tests
|
2025-01-01 15:32:14 +01:00 |
|
Laurent Perron
|
6afa4b4248
|
[CP-SAT] remove multiple inheritance in the python layer as this slows downs the code a lot; improve test coverage
|
2024-12-30 15:43:00 +01:00 |
|
Laurent Perron
|
57048af0fd
|
[CP-SAT] polish python layer
|
2024-12-30 11:41:49 +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
|
3eca4e76d7
|
[CP-SAT] fix
|
2024-12-29 08:20:31 +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 |
|
Laurent Perron
|
6c92b6b096
|
[CP-SAT] more python type checking
|
2024-11-20 15:01:33 +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
|
18df536d12
|
cherry-pick from the main branch
|
2024-10-24 11:42:11 +02:00 |
|
Laurent Perron
|
55ff5cf534
|
[CP-SAT] change element and table protos, API to support affine expressions
|
2024-10-23 05:59:17 +02:00 |
|
Laurent Perron
|
544e09c449
|
[CP-SAT] add more type annotations
|
2024-10-07 16:27:31 +02:00 |
|
Laurent Perron
|
bb06fafe00
|
support hinting literals in CP-SAT Python
|
2024-10-07 15:54:23 +02:00 |
|
Corentin Le Molgat
|
ef8716241a
|
backport from main
|
2024-10-01 12:48:20 +02:00 |
|
Laurent Perron
|
f2b0044188
|
small cleanups
|
2024-07-22 11:33:50 +02:00 |
|
Laurent Perron
|
bcf7a00a27
|
[CP-SAT] add test; change default parameters; fix crash on shared workers
|
2024-07-19 16:29:33 +02:00 |
|
Laurent Perron
|
21a75638c2
|
partial sync with main (without the routing part)
|
2024-07-12 13:56:11 +02:00 |
|
Laurent Perron
|
382ab5d35b
|
[CP-SAT] do not add the linear part of an interval in the model, create it when copying the model for presolve; improve work sharing in shared_tree_mode
|
2024-05-30 10:51:55 +02:00 |
|
Laurent Perron
|
511bf047a7
|
backport cp-sat code from main
|
2024-05-30 10:51:53 +02:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
3b167f11dd
|
fix
|
2023-12-21 09:37:04 +01:00 |
|
Laurent Perron
|
234024ab74
|
[CP-SAT] improve python typing; speed up no_overlap_2d; simplofy lns utilities; fix bug in probing
|
2023-12-19 15:04:12 +01:00 |
|