Corentin Le Molgat
|
1b4d75ceb3
|
sat: backport from main
|
2025-11-05 13:55:12 +01:00 |
|
Laurent Perron
|
a841258da7
|
[CP-SAT] misc improvements to the internals; more work on general constraints with enforcements
|
2025-09-17 07:47:03 +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
|
7f463e1a68
|
sync with main
|
2025-06-02 14:25:50 +02:00 |
|
Laurent Perron
|
188cfcbde5
|
[CP-SAT] work on precedences; improve scheduling cuts
|
2025-05-27 14:34:42 +02:00 |
|
Corentin Le Molgat
|
62dca6e486
|
backport vlog_is_on.h patch from main
|
2025-03-13 15:56:35 +01: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
|
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
|
76f2f4c383
|
[CP-SAT] internal protocol improvements; bug fixes
|
2024-09-03 18:19:19 +02:00 |
|
Laurent Perron
|
21a75638c2
|
partial sync with main (without the routing part)
|
2024-07-12 13:56:11 +02:00 |
|
Laurent Perron
|
870edf6f7b
|
sync ortools/sat with main
|
2024-05-30 11:37:03 +02:00 |
|
Laurent Perron
|
2e60ca6ef8
|
sync ortools/sat with main
|
2024-05-30 10:52:46 +02:00 |
|
Laurent Perron
|
3c108c75e3
|
[CP-SAT] remove randomization from linear propagation
|
2024-05-30 10:52:45 +02:00 |
|
Laurent Perron
|
73164b7ffe
|
[CP-SAT] improve detection of cycles in linear propagation
|
2024-05-30 10:52:45 +02:00 |
|
Laurent Perron
|
d1c17a02d4
|
[CP-SAT] better unsat reporting; improve linear propagation
|
2024-05-30 10:52:45 +02:00 |
|
Laurent Perron
|
fa2473affe
|
[CP-SAT] improve presolve for affine_max, improve work sharing; improved linear code
|
2024-05-30 10:52:44 +02:00 |
|
Laurent Perron
|
4cbd27dae9
|
sync with main
|
2024-05-30 10:52:42 +02:00 |
|
Laurent Perron
|
5828741c75
|
[CP-SAT] improve no_overlap_2d propagation; improve linear propagator + precedences + disjunctive connection; change the way maximization is implemented in python
|
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 |
|
Laurent Perron
|
8d4b32967c
|
[CP-SAT] cleanup diffn propagation; remove dead code
|
2024-01-31 14:44:02 +01:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
94f3d9b468
|
[CP-SAT] support table constraints with enforcement literals
|
2023-10-19 11:54:24 +02:00 |
|
Laurent Perron
|
224a38f87f
|
cleanup code
|
2023-05-24 11:42:11 +02:00 |
|
Laurent Perron
|
300e5db82f
|
[CP-SAT] move routing cuts it their own files; more work on new linear propagation
|
2022-10-11 14:28:56 +02:00 |
|
Laurent Perron
|
363a6fb198
|
[CP-SAT] more work on experimental linear propagation; fix #3483; start cleaning up the synchronization code
|
2022-10-03 18:12:14 +02:00 |
|
Laurent Perron
|
ba53ce319b
|
[CP-SAT] fix experimental linear code; indent; do not create lb_tree_search when model does not contain objective; fix slow termination
|
2022-09-27 18:04:47 +02:00 |
|
Laurent Perron
|
500cc2c701
|
[CP-SAT] polish scheduling code; add experimental new linear propagator
|
2022-09-23 18:09:18 +02:00 |
|