Laurent Perron
cb98b1fa71
improve sat code; misc glop API
2016-09-12 13:42:16 +02:00
Laurent Perron
16b02b5f8d
fix warning
2016-06-29 11:23:10 +02:00
Onur Celebi
0a1d9ed0c1
A preprocessor based on Solow-Halim paper
2016-06-29 10:44:31 +03:00
Laurent Perron
95b14628f1
large rewrite in the documentation/headers; changed implementation of the ForbiddenInterval constraints, renamed to NotMember; remove unused mode in sat; rewrite of internals of glop; change callbacks to std::function in shortestpath.h; random sync with interval code
2016-06-02 13:19:10 +02:00
Laurent Perron
490c7d981e
big sync with internal code, notable diff: hamiltonian_path code + used in the routing lib; improvement to the sat solver
2016-01-26 13:50:39 +01:00
Laurent Perron
ff606941b0
lots of improvements:
...
- improve bop and sat performance
- improve precision (tolerance) in glop
- cp: improve performance of the element constraint (normal, and increasing)
- cp: remove Action class, replace with functions, add API to replace demons by functions
2015-10-23 13:45:43 +02:00
Vincent Furnon
2fa0bd91ee
Updated GLOP preprocessing code.
2015-07-28 15:33:01 +02:00
Simon Lynen
089035aea8
Initialize double variable target-bound to avoid "maybe-uninitialized" warning
2015-07-22 19:11:37 +02:00
Vincent Furnon
9b7fe40cba
Update of GLOP, in particular speeding up the preprocessing phase.
2015-07-06 19:13:08 +02:00
Vincent Furnon
c5e97dae32
Glop: moving code from glop to lpdata.
2015-06-12 18:18:50 +02:00
Vincent Furnon
50e00a3b10
Scale the objective before applying the revised simplex algorithm.
2015-05-30 01:12:55 +02:00
Vincent Furnon
f59da1c684
Small cleanups in GLOP's code.
2015-04-17 10:00:41 +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
98cd32d785
updated c++ code
2014-07-09 11:10:20 +00:00
lperron@google.com
85b4f1b3d4
add licence headers
2014-07-08 17:35:15 +00:00
lperron@google.com
4e7bfca379
fix
2014-07-08 16:59:01 +00:00
lperron@google.com
81bc4c3cbb
fix
2014-07-08 16:57:20 +00:00
lperron@google.com
cda92d5dbd
fixes
2014-07-08 16:35:59 +00:00
lperron@google.com
6f25f38898
introduce glop, our own linear programming solver; improve sat
2014-07-08 09:27:02 +00:00
