Laurent Perron 752bcbfb93 default parameters for multi_knapsack_sat

2019-04-05 17:01:00 +02:00

..

contrib

Fix contrib/contiguity_transition.cs

2019-03-07 17:44:09 +01:00

cpp

default parameters for multi_knapsack_sat

2019-04-05 17:01:00 +02:00

data

Backport roadef_challenge_2011 from g3

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

dotnet

Port the C++ example network_routing_sat to C#

2019-03-12 15:28:48 +01:00

flatzinc

another failing flatzinc example

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

java

Merge LsApi.java to TestConstraintSolver.java

2019-03-04 00:05:12 +01:00

notebook

Remove tab from CMakeLists.txt

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

python

change CP-SAT C++ Api to call Build() on the model before solving; use log_search_progress parameters to display all log; enable this parameter in non C++ language; call InitGoogleLogging() automatically in non C++ languages

2019-04-05 14:58:33 +02:00

tests

change CP-SAT C++ Api to call Build() on the model before solving; use log_search_progress parameters to display all log; enable this parameter in non C++ language; call InitGoogleLogging() automatically in non C++ languages

2019-04-05 14:58:33 +02:00