Solver interfaces

bill implements a generic API interface to a selection of SAT solvers.

abc_bmcg

Header: bill/sat/interface/abc_bmcg.hpp

abc_bsat2

Header: bill/sat/interface/abc_bsat2.hpp

ghack

Header: bill/sat/interface/ghack.hpp

glucose

Header: bill/sat/interface/glucose.hpp

maple

Header: bill/sat/interface/maple.hpp

z3

Header: bill/sat/interface/z3.hpp