lperron@google.com 9e79543fc2 revamp sat implementation, stripped the sat solver to the bare minimum, replace all custome code by or-tools or stl equivalent

2013-07-09 21:40:28 +00:00

..

solutions

tentative support for scip under windows

2013-04-21 10:49:57 +00:00

sources/TinyThread++-1.0

revamp sat implementation, stripped the sat solver to the bare minimum, replace all custome code by or-tools or stl equivalent

2013-07-09 21:40:28 +00:00