Laurent Perron
|
8ecbea311b
|
fix examples
|
2017-06-29 11:59:21 +02:00 |
|
Laurent Perron
|
5f23b5ff7c
|
fix bazel build
|
2017-06-08 17:02:07 +02:00 |
|
Laurent Perron
|
5d3b3ab7c2
|
fix sat_cnf_reader
|
2017-04-27 09:31:10 +02:00 |
|
Laurent Perron
|
9f6e447d00
|
fix bazel build
|
2017-04-27 09:06:18 +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 |
|
Vincent Furnon
|
d99970e5b2
|
Update of SAT runner, including new reduced memory mode.
|
2015-07-31 16:12:32 +02:00 |
|
lperron@google.com
|
aeb6434297
|
split lp_data out of glop; port rest of code
|
2014-12-16 11:35:09 +00:00 |
|
lperron@google.com
|
1a4efa2e54
|
add empty line after licence part, in glop, implement portable floating point exceptions
|
2014-07-09 15:18:27 +00:00 |
|
lperron@google.com
|
a2f8554a6d
|
ported examples
|
2014-07-09 11:09:30 +00:00 |
|
lperron@google.com
|
08c47d6efe
|
sat
|
2014-06-11 20:48:53 +00:00 |
|
lperron@google.com
|
3f79252dd4
|
work on sat solver, especially in the context of maxsat
|
2014-05-23 14:33:13 +00:00 |
|
lperron@google.com
|
aee340b07c
|
update examples
|
2014-05-21 12:56:57 +00:00 |
|
lperron@google.com
|
6c2be21c5a
|
work on sat solver
|
2014-05-15 09:21:11 +00:00 |
|
lperron@google.com
|
54b10f910a
|
reformat code using clang-format
|
2014-01-08 12:01:58 +00:00 |
|
lperron@google.com
|
05032ce679
|
remove using directives, in particular string -> std::string everywhere; speedups in the routing library
|
2013-12-16 10:24:42 +00:00 |
|
lperron@google.com
|
f7887a5fa9
|
fix for sat
|
2013-12-13 08:19:07 +00:00 |
|
lperron@google.com
|
eef0e9ab02
|
experimental sat/pb solver
|
2013-12-12 14:43:04 +00:00 |
|