• Quaffle

  • Referenced in 66 articles [sw07278]
  • QBF solvers QuBE and Semprop is available here. The benchmarks are obtained from QBFLib...
  • HQSpre

  • Referenced in 10 articles [sw28634]
  • show that HQSpre allows QBF solvers to solve more benchmark instances and is able...
  • Nenofex

  • Referenced in 18 articles [sw09579]
  • Nenofex, a solver for quantified boolean formulae (QBF) in negation normal form (NNF), which relies ... have been integrated. Experimental results on latest benchmarks show that Nenofex indeed exceeds a given ... limit less frequently than a resolution-based QBF solver for CNF, but also that there...
  • PaQuBE

  • Referenced in 5 articles [sw06998]
  • QBF Solver. It was able to solve more than twice as many benchmarks...
  • QBFFam

  • Referenced in 1 article [sw41579]
  • QBF solvers. With our tool, it is possible to generate informative and scalable benchmarks that...
  • MiniSat

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • SMT-LIB

  • Referenced in 196 articles [sw04103]
  • SMT-LIB was created with the expectation that...
  • NuSMV

  • Referenced in 312 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • z3

  • Referenced in 597 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • WEKA

  • Referenced in 305 articles [sw06435]
  • WEKA: Waikato Environment for Knowledge Analysis. WEKA is...
  • Chaff

  • Referenced in 586 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...
  • BerkMin

  • Referenced in 161 articles [sw06917]
  • BerkMin: A fast and robust SAT-solver. We...
  • sQueezeBF

  • Referenced in 16 articles [sw06959]
  • sQueezeBF: an effective preprocessor for QBFs based on...
  • StarExec

  • Referenced in 52 articles [sw08839]
  • StarExec: Starexec is a cross community logic solving...
  • Bloqqer

  • Referenced in 31 articles [sw09578]
  • Blocked clause elimination for QBF. Quantified Boolean formulas...
  • QBFLIB

  • Referenced in 16 articles [sw09581]
  • Quantified Boolean formulas satisfiability library (QBFLIB). QBFLIB is...
  • SATORI

  • Referenced in 10 articles [sw09597]
  • SATORI - A Fast Sequential SAT Engine for Circuits...
  • DepQBF

  • Referenced in 46 articles [sw09734]
  • DepQBF is a search-based solver for quantified...
  • ABC

  • Referenced in 40 articles [sw12910]
  • ABC: An Academic Industrial-Strength Verification Tool. ABC...