Commit Graph

8 Commits

Author SHA1 Message Date
Vincent Furnon
31761a2896 Porting glop interface for Android. 2015-05-18 17:56:29 +02:00
Vincent Furnon
6f394abbe6 virtual to override change of the linear solver code. 2015-04-16 16:21:56 +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
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
f7c2c5d8e5 rewrite swig 2014-07-09 10:01:48 +00:00
lperron@google.com
2f0d8a396c fix 2014-07-08 17:10:47 +00:00
lperron@google.com
6f25f38898 introduce glop, our own linear programming solver; improve sat 2014-07-08 09:27:02 +00:00