Laurent Perron 1a8a94dace [CP-SAT] add more incremental methods on java constraints; use logger in SatSolver;

2022-02-02 14:57:42 +01:00

..

contrib

dotnet: Remove contrib/*.fsproj

2021-12-09 17:47:08 +01:00

cpp

fix example

2022-01-20 21:30:24 +01:00

data

update examples

2021-04-02 16:05:40 +02:00

dotnet

fix

2022-01-11 16:22:43 +01:00

flatzinc

fix flatzinc to follow the latest minizinc naming scheme for constraints

2020-09-29 11:53:15 +02:00

java

Clean few examples

2021-05-20 17:56:00 +02:00

notebook

Update notebooks

2021-12-14 13:05:00 +01:00

python

[CP-SAT] allow variable number of arguments for OnlyEnforceIf, AddAllDifferent and all Boolean constraints for the Python API

2022-01-28 15:54:07 +01:00

tests

[CP-SAT] add more incremental methods on java constraints; use logger in SatSolver;

2022-02-02 14:57:42 +01:00