satlib.git
7 years agoTest case
bdemsky [Wed, 31 Dec 2014 08:10:30 +0000 (17:10 +0900)]
Test case

7 years agoedits
bdemsky [Wed, 31 Dec 2014 08:10:12 +0000 (17:10 +0900)]
edits

7 years agofactor out common constants
bdemsky [Wed, 31 Dec 2014 06:42:23 +0000 (15:42 +0900)]
factor out common constants

7 years agoAdd incremental solver class
bdemsky [Wed, 31 Dec 2014 06:36:58 +0000 (15:36 +0900)]
Add incremental solver class

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