Corentin Le Molgat
|
b4b226801b
|
update include guards
|
2025-11-05 11:54:02 +01:00 |
|
Corentin Le Molgat
|
4151254eba
|
sat: backport from main
|
2025-07-23 15:04:05 +02:00 |
|
Laurent Perron
|
7f463e1a68
|
sync with main
|
2025-06-02 14:25:50 +02:00 |
|
Laurent Perron
|
6381d8d949
|
fix wbo parsing
|
2025-04-16 23:09:26 +02:00 |
|
Laurent Perron
|
81474345a8
|
[CP-SAT] more tweakings
|
2025-04-16 11:09:47 +02:00 |
|
Laurent Perron
|
6e405723c4
|
[CP-SAT] improve opb file support; minor fuzzer bug fixes
|
2025-04-14 16:45:06 +02:00 |
|
Laurent Perron
|
c06d62f0cb
|
rename internal sat method; more tests
|
2025-04-03 16:18:34 +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 |
|
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 |
|
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
|
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 |
|