Laurent Perron
|
a7fc26854a
|
[CP-SAT] Work on linear1 encodings; more work on lrat; cleanup linear2 code; work on probing
|
2025-11-05 15:17:38 +01:00 |
|
Corentin Le Molgat
|
1b4d75ceb3
|
sat: backport from main
|
2025-11-05 13:55:12 +01:00 |
|
Corentin Le Molgat
|
b4b226801b
|
update include guards
|
2025-11-05 11:54:02 +01: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
|
4151254eba
|
sat: backport from main
|
2025-07-23 15:04:05 +02:00 |
|
Laurent Perron
|
e7279e865c
|
update set cover; move theta_tree to util; deprecate obsolete fields in SAT routes proto
|
2025-03-29 13:44:39 +01:00 |
|
Laurent Perron
|
61cdb4286b
|
more work on sat
|
2025-03-27 06:41:16 -07:00 |
|
Laurent Perron
|
d0e75d47e5
|
[CP-SAT] more cleanups; routing cuts experiments
|
2025-03-26 15:12:12 -07:00 |
|
Laurent Perron
|
243a442a71
|
[CP-SAT] more work on routing cuts; improve enforcement of time limits
|
2025-03-19 13:23:33 -07: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
|
8b4a24a0a3
|
[CP-SAT] polish new cumulative cuts code; more experimental code on routing cuts; cleaning, fixes
|
2025-02-07 22:34:38 +01:00 |
|
Laurent Perron
|
f9b6212649
|
[CP-SAT] experimental routing cuts; new cumulative cuts; improve no_overlap_2d code all around
|
2025-02-05 18:12:33 +01:00 |
|
Corentin Le Molgat
|
a66a6daac7
|
Bump Copyright to 2025
|
2025-01-10 11:35:44 +01:00 |
|
Laurent Perron
|
198a4d3f12
|
[CP-SAT] fir rare bug in dependency graph and implications; speed up no_overlap_2d and cumulative relaxation
|
2024-12-16 14:20:09 +01:00 |
|
Laurent Perron
|
3aaff5bfce
|
[CP-SAT] more work on 2d packing
|
2024-12-05 13:42:54 +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
|
503b038dfc
|
[CP-SAT] optimize binary implication graph; rewrite some no_overlap_2d constraints; lot of spans
|
2024-11-28 15:52:59 +01:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
823ce1188c
|
[CP-SAT] better management of cuts; better overflow detection; do not run feasibility_jump if search is globally finished; fix #3842
|
2023-07-04 14:11:25 +02:00 |
|
Laurent Perron
|
77e4cc8d7e
|
[CP-SAT] full subtour elimination cuts for circuit; update python doc to black
|
2023-07-01 06:10:55 +02:00 |
|
Laurent Perron
|
224a38f87f
|
cleanup code
|
2023-05-24 11:42:11 +02:00 |
|
Laurent Perron
|
59f826fbe3
|
CP-SAT: improve routing cuts
|
2023-01-05 17:46:12 +01:00 |
|
Laurent Perron
|
d636529013
|
missing files
|
2022-10-11 15:02:54 +02:00 |
|