Corentin Le Molgat
|
b4b226801b
|
update include guards
|
2025-11-05 11:54:02 +01:00 |
|
Corentin Le Molgat
|
b05315de21
|
sat: backport from main
|
2025-09-22 17:24:20 +02:00 |
|
Corentin Le Molgat
|
4151254eba
|
sat: backport from main
|
2025-07-23 15:04:05 +02: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
|
873e0b47f8
|
[CP-SAT] improve diffn clustering; more work on hints
|
2024-12-04 15:29:53 +01:00 |
|
Laurent Perron
|
21a75638c2
|
partial sync with main (without the routing part)
|
2024-07-12 13:56:11 +02:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
199af98e3f
|
[CP-SAT] fix feasibility_jump bug
|
2023-11-02 18:06:20 +01:00 |
|
Laurent Perron
|
185b77cea0
|
[CP-SAT] limit effort in feasibility_jump; new experimental scheduling search on cumulative
|
2023-10-29 15:31:06 +01:00 |
|
Laurent Perron
|
f36ad15224
|
[CP-SAT] fix #3958; more work on stats; fix a few potential overflows
|
2023-10-20 17:20:43 +02:00 |
|
Laurent Perron
|
ae8bb2dd23
|
[CP-SAT] rewrite the after solver LP log
|
2023-10-19 21:58:05 +02:00 |
|
Laurent Perron
|
9d70c5eb03
|
[CP-SAT] polish troubleshooting section; improve feasibility_jump meta-heuristics; add debug DCHECKs
|
2023-10-11 14:25:38 +02:00 |
|
Laurent Perron
|
6d1a1b455c
|
[CP-SAT] add pandas support for intervals; new sample that uses them; improve the meta-heuristics in feasibility_jump
|
2023-10-09 18:07:11 +02:00 |
|
Laurent Perron
|
4255e18c56
|
[CP-SAT] improve lns for makespan objective; fix jeasibility jump check failed; fix non deterministic search with gap limits
|
2023-09-28 14:28:27 +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 |
|
Laurent Perron
|
7d0d173a0f
|
[CP-SAT] optimize feasibility jump; optimize linear presolve; better presolve logging; fix #3917; rewrite and simplify search heuristics code
|
2023-09-13 18:16:28 +02:00 |
|
Laurent Perron
|
c50650e636
|
[CP-SAT] more work on logging; remove unused LNS
|
2023-06-27 14:22:11 +02:00 |
|
Laurent Perron
|
5b4021eb6f
|
[CP-SAT] tie break with objective in feasibility_jump
|
2023-05-13 10:48:15 +02:00 |
|
Laurent Perron
|
6543b50412
|
[CP-SAT] fix bug with evaluations and violation_ls
|
2023-05-09 17:50:26 +02:00 |
|
Laurent Perron
|
8348ec8f94
|
[CP-SAT] Switch cut code to int128; more work on feasibility_jump and violation_ls
|
2023-05-03 09:33:50 +02:00 |
|
Laurent Perron
|
dbaef62eb5
|
[CP-SAT] improvements to feasibility_jump, better presolve on lin_max; tuning
|
2023-04-21 12:48:03 +02:00 |
|
Laurent Perron
|
41b2d04770
|
[CP-SAT] more work on feasibility jump
|
2023-04-05 14:00:06 +02:00 |
|
Laurent Perron
|
1bf61aea43
|
[CP-SAT] highly experimental feasibility jump implementation
|
2023-03-31 16:01:15 +02:00 |
|