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
|
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
|
6b1b7ef2b6
|
[CP-SAT] experimental integration of variable shaving; tentative fix for #4615; more bugfixes
|
2025-04-04 17:05:43 +02:00 |
|
Laurent Perron
|
f54ac85858
|
[CP-SAT] support pb24 problem formats; speed ups 2d packing; bugfixes; cleanups
|
2025-04-02 19:13:51 +02:00 |
|
Mizux Seiha
|
068359c162
|
ortools: backport from main
|
2025-03-04 21:09:32 +01:00 |
|
Corentin Le Molgat
|
a66a6daac7
|
Bump Copyright to 2025
|
2025-01-10 11:35:44 +01:00 |
|
Laurent Perron
|
21a75638c2
|
partial sync with main (without the routing part)
|
2024-07-12 13:56:11 +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
|
18b5b80010
|
[CP-SAT] speedup on constraint_violation; cleanup clause invariants; fix explanation of divition
|
2023-10-15 18:08:33 +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
|
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
|
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 |
|
Laurent Perron
|
7d0d8ca49d
|
fix
|
2023-03-23 16:41:44 +01:00 |
|
Laurent Perron
|
5fbe1ee258
|
[CP-SAT] polish constraint_violation code
|
2023-03-23 16:39:08 +01:00 |
|
Laurent Perron
|
f28ee9a594
|
fix shared worker trees; experimental LS code (just starting).
|
2023-03-22 19:37:00 +01:00 |
|