Corentin Le Molgat
|
b05315de21
|
sat: backport from main
|
2025-09-22 17:24:20 +02:00 |
|
Laurent Perron
|
188cfcbde5
|
[CP-SAT] work on precedences; improve scheduling cuts
|
2025-05-27 14:34:42 +02:00 |
|
Mizux Seiha
|
068359c162
|
ortools: backport from main
|
2025-03-04 21:09:32 +01:00 |
|
Laurent Perron
|
d6210362b5
|
[CP-SAT] improve memory usage for LNS
|
2025-02-10 14:49:06 +01:00 |
|
Laurent Perron
|
7e98e7b4d4
|
[CP-SAT] improve no_overlap_2d cuts; more no_overlap_2d cuts; bugfixes; add sat/c_api subdirectory
|
2025-02-10 12:45:46 +01:00 |
|
Laurent Perron
|
3a73fa1b3e
|
[CP-SAT] fix cumulative cuts
|
2025-02-06 16:52:23 +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 |
|
Laurent Perron
|
f42d60d411
|
[CP-SAT] fix bug in cuts; add more python tests
|
2025-01-29 13:24:43 +01:00 |
|
Laurent Perron
|
df31847650
|
[CP-SAT] more model copy in its own library; few more fuzzer bugs fixed; add simple presolve rule
|
2025-01-24 14:11:24 +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
|
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
|
491c36769b
|
[CP-SAT] speed up no_overlap_2d propagator, presolve, checker
|
2024-11-28 17:44:23 +01:00 |
|
Laurent Perron
|
c0b9bb33ae
|
[CP-SAT] more fixes
|
2024-11-17 14:19:21 +01:00 |
|
Laurent Perron
|
c930dd656e
|
[CP-SAT] check the time limit more frequently; experimental support for lp folding; more pedantic tests in presolve
|
2024-10-16 14:13:02 +02:00 |
|
Laurent Perron
|
21a75638c2
|
partial sync with main (without the routing part)
|
2024-07-12 13:56:11 +02:00 |
|
Laurent Perron
|
480d4261c4
|
[CP-SAT] add shared tree worker parameter override; more use of spans
|
2024-02-26 11:02:57 +01:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
47306a72ca
|
[CP-SAT] more work on clause management
|
2023-12-13 16:14:35 +01:00 |
|
Laurent Perron
|
b6c986fe41
|
[CP-SAT] enable violation_ls by default
|
2023-10-26 10:59:30 +02:00 |
|
Laurent Perron
|
b8f224a8e1
|
[CP-SAT] tweak default search; improve scheduling cuts; move no_overlap_2d cuts in its own file; improve feasibility_jump; improve and speedup presolve
|
2023-09-21 13:07:09 +02:00 |
|