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
|
a905f05b35
|
update base util graph code
|
2014-11-07 14:31:18 +00:00 |
|
lperron@google.com
|
465666aad7
|
big sync: add presolve to sat solver; continue rewrite on C#/Python swig layer; remove as much using std::string as possible in the code; faster saturated arithmetics
|
2014-07-24 18:12:50 +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
|
6f25f38898
|
introduce glop, our own linear programming solver; improve sat
|
2014-07-08 09:27:02 +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
|
df222d49d4
|
fix
|
2014-05-13 13:40:01 +00:00 |
|
lperron@google.com
|
91e68cbad0
|
fix
|
2014-04-04 09:46:49 +00:00 |
|
lperron@google.com
|
96df1d4c97
|
sync with internal version; major work on sat solver (symmetries, speedups); speed up on routing library
|
2014-03-12 17:30:11 +00:00 |
|
lperron@google.com
|
7b802c0015
|
add core computation to sat solver; add vehicle dependent dimensions in routing
|
2014-01-27 15:05:30 +00:00 |
|
lperron@google.com
|
54b10f910a
|
reformat code using clang-format
|
2014-01-08 12:01:58 +00:00 |
|
lperron@google.com
|
eef0e9ab02
|
experimental sat/pb solver
|
2013-12-12 14:43:04 +00:00 |
|