Laurent Perron
|
8d3645a6cd
|
[CP-SAT] fix vivification bug; more work on encodings
|
2026-01-07 16:18:00 +01:00 |
|
Laurent Perron
|
562ffd7eed
|
[CP-SAT] more work on lrat; cleanup memory management in scheduling clauses; improve encoded only variable expansion; fix a few bugs
|
2025-12-15 13:07:29 +01:00 |
|
Laurent Perron
|
3b18bdd58b
|
[CP-SAT] morework on lrat
|
2025-12-05 08:27:10 +01:00 |
|
Laurent Perron
|
56613156ce
|
[CP-SAT] work on lrat; work in inprocessing; fix bug with reduced variables domains and hints
|
2025-12-01 17:44:18 +01:00 |
|
Laurent Perron
|
cd37bacd2a
|
backport sat from main
|
2025-11-24 16:26:34 +01:00 |
|
Laurent Perron
|
29ffc72cf3
|
[CP-SAT] work on lrat; probing; variable encoding
|
2025-11-12 17:21:04 +01:00 |
|
Corentin Le Molgat
|
b05315de21
|
sat: backport from main
|
2025-09-22 17:24:20 +02: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
|
a66a6daac7
|
Bump Copyright to 2025
|
2025-01-10 11:35:44 +01:00 |
|
Laurent Perron
|
83a434dc47
|
[CP-SAT] improve propagation; more hint preservation; polish last sample
|
2024-12-06 11:49:16 +01:00 |
|
Laurent Perron
|
df97cd5776
|
[CP-SAT] reorganize code
|
2024-11-29 14:30:29 +01:00 |
|
Laurent Perron
|
701cc87e1e
|
backport from main: sat, graph, lp_data, glop
|
2024-09-13 13:29:25 -07: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
|
47306a72ca
|
[CP-SAT] more work on clause management
|
2023-12-13 16:14:35 +01:00 |
|
Laurent Perron
|
990fc9eb4a
|
[CP-SAT] simplify clauses periodically (off by default); remove pure sat code path
|
2023-11-22 14:48:08 +01:00 |
|
Laurent Perron
|
ae8bb2dd23
|
[CP-SAT] rewrite the after solver LP log
|
2023-10-19 21:58:05 +02:00 |
|