Corentin Le Molgat
|
b4b226801b
|
update include guards
|
2025-11-05 11:54:02 +01:00 |
|
Corentin Le Molgat
|
a66a6daac7
|
Bump Copyright to 2025
|
2025-01-10 11:35:44 +01:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
407c9bb5dc
|
[CP-SAT] fix overflow in presolve, check failed in feasibility_jump; remove obsolete macro
|
2023-08-30 10:04:11 -04:00 |
|
Laurent Perron
|
65eedeb038
|
[CP-SAT] revisit core based search; polish graph_arc_lns
|
2023-07-17 14:41:57 -07:00 |
|
Laurent Perron
|
1ff59b03c0
|
[CP-SAT] tweak table_with_cost code (still off by default); improve core search when a lot of literals are in a sub-at_most_one
|
2023-07-09 13:45:48 +02:00 |
|
Laurent Perron
|
09d534a2b7
|
[CP-SAT] rewrite Rins/Rens; fix #3825; cleanups
|
2023-06-17 12:10:17 +02:00 |
|
Laurent Perron
|
224a38f87f
|
cleanup code
|
2023-05-24 11:42:11 +02:00 |
|
Laurent Perron
|
fa478b8071
|
move sat_runner from examples/cpp to ortools/sat
|
2023-02-10 12:52:57 -08:00 |
|