Laurent Perron
|
a6bbec9173
|
minor improvement in flatzinc presolve; fix bug in fixed search for sat; simplify presolve data structures, simplify integer search code; add solution hinting; add more propagation to the regular constraint
|
2018-03-22 17:47:30 +01:00 |
|
Laurent Perron
|
9044de9355
|
new heuristics to minimize clauses in SAT; base library changes
|
2018-03-06 18:17:36 +01:00 |
|
Laurent Perron
|
05f03b33c1
|
improve sat/circuit; various reimplementations
|
2018-02-12 11:36:18 +01:00 |
|
Laurent Perron
|
604587eec7
|
minor changes; change the search parameters in the cp_model.proto
|
2018-01-15 10:41:09 +01:00 |
|
Laurent Perron
|
88ef3d0302
|
remove std:: from std::min|max in comments; performance improvements on the SAT, bug fixes
|
2018-01-10 13:21:06 +01:00 |
|
Laurent Perron
|
8d7320b962
|
deep sync with base library; prepare for abseil.io integration
|
2017-12-08 14:52:49 +01:00 |
|