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