Laurent Perron bcb7b3073d large synchro with internal code: linear solver: introduce intermediate SCIP layer called gscip; sat: more work on slow propagation detection; base: remove statusor, use abseil version; constraint solver: more work on internal local search

2020-10-18 16:38:25 +02:00

..

CMakeLists.txt

cmake(java): Add Maven Package (#202)

2020-05-18 14:15:47 +02:00

linear_solver.i

large synchro with internal code: linear solver: introduce intermediate SCIP layer called gscip; sat: more work on slow propagation detection; base: remove statusor, use abseil version; constraint solver: more work on internal local search

2020-10-18 16:38:25 +02:00