1 Commits

Author	SHA1	Message	Date
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