Laurent Perron cf53ee3c9f reformat bazel java code; CP-SAT: fix corner case in presolve, zero very small coefficients in translate from math model, more parameter validation

2023-01-05 13:38:42 +01:00

..

BUILD.bazel

reformat bazel java code; CP-SAT: fix corner case in presolve, zero very small coefficients in translate from math model, more parameter validation

2023-01-05 13:38:42 +01:00

CMakeLists.txt

cmake: Fix java

2022-09-23 13:15:36 +02:00

CpModelTest.java

move examples/test/*.java to ortools/<component>/java

2022-09-22 22:40:10 +02:00

CpSolverTest.java

fix

2022-12-19 14:33:14 +01:00

LinearExprTest.java

move examples/test/*.java to ortools/<component>/java

2022-09-22 22:40:10 +02:00

sat.i

[CP-SAT] bump license years; fix scheduling cuts; improve lb_tree_search

2022-06-16 15:21:00 +02:00

SatSolverTest.java

move examples/test/*.java to ortools/<component>/java

2022-09-22 22:40:10 +02:00