Laurent Perron
|
e323bba2e7
|
backport sat improvements from the abseil branch
|
2018-11-05 16:24:47 +01:00 |
|
Laurent Perron
|
d44fb1b423
|
add missing swig rule; remove redundant constraint in sat table implementation
|
2018-10-15 13:41:52 +02:00 |
|
Laurent Perron
|
4e893e5080
|
remove solow-halim glop preprocessor as the interface has changed a lot; add a proper domain class for CP-SAT integer variables, rewrite preprocessor and other parts of the solver to use it
|
2018-10-02 10:35:52 +02:00 |
|
Laurent Perron
|
428e272ccc
|
add ModelStats and CpSolverResponseStats for SAT/{Python|Java|C#}; enable multiple enforcement literals for a few constraints; small fixes, typo corrections
|
2018-09-12 15:07:23 +02:00 |
|
Laurent Perron
|
cc9eb375d5
|
add int_mod implementation (for constant modulo) in sat and fz-sat
|
2018-07-26 12:01:59 -07:00 |
|
Laurent Perron
|
b3856b5105
|
fix
|
2018-07-05 16:56:25 +02:00 |
|
Laurent Perron
|
70e73d8754
|
clang-format
|
2018-06-08 16:40:43 +02:00 |
|
Laurent Perron
|
8623fc3580
|
speed up sat cumulative; add namespaces to base library + fix code
|
2018-04-11 13:00:30 +02:00 |
|
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
|
6b8cd2cdc2
|
finish C$ Sat Integer API; Refactor Glop code; Add new option for Glop Scaling; speed improvements in the sat solver
|
2018-02-16 17:08:01 +01:00 |
|
Laurent Perron
|
e14ee86de3
|
move rcpsp parser to ortools/data; continue working on SAT
|
2017-11-07 15:45:52 +01:00 |
|
Laurent Perron
|
2c7a8bf8f6
|
change copyright date
|
2017-10-17 13:08:10 +02:00 |
|
Laurent Perron
|
20ba8015bc
|
fix sat bugs found by new examples; improve gitignore
|
2017-10-11 03:05:13 -07:00 |
|
Laurent Perron
|
7155047b85
|
cleanup includes in sat
|
2017-07-27 11:28:55 -07:00 |
|
Laurent Perron
|
0e50e4f5b8
|
work on sat; misc sync
|
2017-06-21 11:40:11 +02:00 |
|
Laurent Perron
|
6609fac882
|
AC all different in the SAT solver; change the way integer variables are encoded on top of boolean variables in the SAT solver; change protobuf utilities
|
2017-06-08 12:33:16 +02:00 |
|
Laurent Perron
|
e3d72e5b3b
|
add cp_model proto to the sat solver
|
2017-05-29 14:45:17 +02:00 |
|
Laurent Perron
|
4db7d3bc4e
|
remove hash_map/hash_set; replace with std::unordered_map|set
|
2017-04-27 14:14:05 +02:00 |
|
Laurent Perron
|
66b8d23079
|
move src to ortools; simplified python generation; remove some namespaces in the ortools/base helper files
|
2017-04-26 17:30:25 +02:00 |
|