Laurent Perron b78002be05 remove CP-SAT SolveWithModel, keep the equivalent SolveCpModel; optimize internal model

2019-05-15 20:19:00 +02:00

..

contrib

add log_search_true; increase size

2019-05-13 10:52:36 +02:00

cpp

remove CP-SAT SolveWithModel, keep the equivalent SolveCpModel; optimize internal model

2019-05-15 20:19:00 +02:00

data

Backport roadef_challenge_2011 from g3

2019-03-12 14:51:30 +01:00

dotnet

rewrite C# CP-SAT linear layer; still one bug

2019-05-13 10:59:04 +02:00

flatzinc

another failing flatzinc example

2016-07-25 12:44:31 -07:00

java

Add knapsack sample

2019-05-10 22:51:10 +02:00

notebook

Remove tab from CMakeLists.txt

2018-11-13 10:12:02 +01:00

python

reindent

2019-05-15 09:05:01 +02:00

tests

rewrite C# CP-SAT linear layer; still one bug

2019-05-13 10:59:04 +02:00