• MiniSat

  • Referenced in 536 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • UBCSAT

  • Referenced in 36 articles [sw02614]
  • UBCSAT: An implementation and experimentation environment for SLS...
  • cvc3

  • Referenced in 85 articles [sw04886]
  • CVC3 is an automatic theorem prover for Satisfiability...
  • SATzilla

  • Referenced in 86 articles [sw06281]
  • SATzilla: portfolio-based algorithm selection for SAT. It...
  • Chaff

  • Referenced in 570 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...
  • CVC Lite

  • Referenced in 55 articles [sw07581]
  • CVC Lite is no longer being maintained. Please...
  • CVC

  • Referenced in 47 articles [sw09462]
  • CVC: A cooperating validity checker. Decision procedures for...
  • RSat

  • Referenced in 22 articles [sw13117]
  • RSat is a complete Boolean satisfiability solver with...