Added ezSAT::keep_cnf() and ezSAT::non_incremental()
authorClifford Wolf <clifford@clifford.at>
Sun, 20 Jul 2014 23:49:59 +0000 (01:49 +0200)
committerClifford Wolf <clifford@clifford.at>
Mon, 21 Jul 2014 00:01:32 +0000 (02:01 +0200)
commitb1d520949bdb5357f31f43d9dc4f4579dda9f269
tree83b0774721024d166b5c710514a4efcbf530a69b
parentade659e617922171ad1b678a51765ba2046c27d8
Added ezSAT::keep_cnf() and ezSAT::non_incremental()
libs/ezsat/Makefile
libs/ezsat/ezminisat.cc
libs/ezsat/ezsat.cc
libs/ezsat/ezsat.h
libs/ezsat/testbench.cc