SBSAT
   Introduction: A State-Based Satisfiability Solver
   Downloads