projects / satlib.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
satlib.git
10 years agoAdd incremental solver class
commit | commitdiff | tree
bdemsky [Wed, 31 Dec 2014 06:36:58 +0000 (15:36 +0900)]
Add incremental solver class

10 years agoInitial checkin of SAT solvers
commit | commitdiff | tree
bdemsky [Thu, 25 Dec 2014 00:52:58 +0000 (16:52 -0800)]
Initial checkin of SAT solvers

SAT Solver Library