Corentin Le Molgat
|
4151254eba
|
sat: backport from main
|
2025-07-23 15:04:05 +02:00 |
|
Mizux Seiha
|
7fc67a4468
|
bazel: update deps
* don't use repo name
* Bump abseil-cpp to 20250512.0
* Bump Protobuf to 31.0
* Bump benchmark to 1.9.2
* Bump googletest to 1.17.0
|
2025-05-22 14:42:28 +02:00 |
|
Laurent Perron
|
10c83b9547
|
fix
|
2025-03-24 13:38:45 -07:00 |
|
Laurent Perron
|
ad5cc6e039
|
[CP-SAT] cleanup C and go API
|
2025-03-24 10:56:17 -07:00 |
|
Corentin Le Molgat
|
fc237eaf0d
|
export from google3
|
2025-02-10 14:26:48 +01:00 |
|
Laurent Perron
|
7e98e7b4d4
|
[CP-SAT] improve no_overlap_2d cuts; more no_overlap_2d cuts; bugfixes; add sat/c_api subdirectory
|
2025-02-10 12:45:46 +01:00 |
|
Corentin Le Molgat
|
a66a6daac7
|
Bump Copyright to 2025
|
2025-01-10 11:35:44 +01:00 |
|
Laurent Perron
|
c930dd656e
|
[CP-SAT] check the time limit more frequently; experimental support for lp folding; more pedantic tests in presolve
|
2024-10-16 14:13:02 +02:00 |
|
Corentin Le Molgat
|
ef8716241a
|
backport from main
|
2024-10-01 12:48:20 +02:00 |
|
Laurent Perron
|
701cc87e1e
|
backport from main: sat, graph, lp_data, glop
|
2024-09-13 13:29:25 -07:00 |
|