Laurent Perron 7b477b0082 add cp-sat C# test; reformat code

2022-01-10 19:24:53 +01:00

..

contrib

dotnet: Remove contrib/*.fsproj

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

cpp

improve binpacking_2d_sat.cc example

2022-01-08 14:45:54 +01:00

data

update examples

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

dotnet

[CP-SAT] ScalProd -> WeightedSum

2022-01-04 19:35:22 +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] ScalProd -> WeightedSum

2022-01-04 19:35:22 +01:00

tests

add cp-sat C# test; reformat code

2022-01-10 19:24:53 +01:00