Laurent Perron b1be47d4e0 Improvements in CP-SAT Scheduling and Diffn constraints; Make CP-SAT presolve more robust w.r.t empty domains during presolvewq

2019-03-27 21:39:02 +01:00

..

__init__.py

python sat files

2017-10-01 16:25:50 +02:00

CMakeLists.txt

Remove tab from CMakeLists.txt

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

cp_model_helper.py

dotnet: Remove reference to dotnet release command

2018-11-30 14:48:55 +01:00

cp_model.py

Improvements in CP-SAT Scheduling and Diffn constraints; Make CP-SAT presolve more robust w.r.t empty domains during presolvewq

2019-03-27 21:39:02 +01:00

sat.i

improve CP-SAT diffn; add 2 more examples to CP-SAT cookbook; internal cleanup and improvements

2019-03-25 11:26:21 +01:00

visualization.py

sync indent, polish on SAT code; add RINS option for CP-SAT

2019-03-13 13:58:39 +01:00