• 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...