Satallax satallax minisat downloads common bank casc tptp steel lisp people links order clauses higher formulas propositional set logic corresponding complete satisfiable unsatisfiable original caml february test calculus tableau search choice prover generates theorem results function objective solver sat interact unsatisfiability Satallax.com~Site InfoWhoisTrace RouteRBL Check
SAT Competitions satcompetition sat competitions march competition satzilla minisat laurent simon berre daniel tar crafted random benchmarks satelitegti zchaff industrial volume unsat kcnfs new mib rsat mxc vallst precosat satlib clasp haifasat race conference wsat solvers organizing judges committee satisfiability vliw ibm Satcompetition.org~Site InfoWhoisTrace RouteRBL Check
sKizzo - a QBF solver skizzo qbf solver pdf bibtex results formula experimental sat implementation related work download unsat does sites documentation quantifier trees library cudd dddmp site web minisat author zqsat quantor page home zchaff statistics version reasoning marco benedetti instances rev conference formulas Skizzo.info~Site InfoWhoisTrace RouteRBL Check