Laurent Perron 79f2c45c33 [CP-SAT] Use AddExactly/AtMostOne in examples/samples; add int_square presolve; add multiplication constraint with target = left * right

2022-01-01 19:26:39 +01:00

..

contrib

dotnet: Remove contrib/*.fsproj

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

cpp

[CP-SAT] Use AddExactly/AtMostOne in examples/samples; add int_square presolve; add multiplication constraint with target = left * right

2022-01-01 19:26:39 +01:00

data

update examples

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

dotnet

Update dotnet/README.md

2021-12-10 16:25:09 +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] Use AddExactly/AtMostOne in examples/samples; add int_square presolve; add multiplication constraint with target = left * right

2022-01-01 19:26:39 +01:00

tests

fix

2021-12-30 09:30:54 +01:00