• MiniSat

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

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

  • Referenced in 75 articles [sw07091]
  • Lingeling, plingeling, picosat and precosat at sat race...
  • PrecoSAT

  • Referenced in 21 articles [sw07832]
  • PrecoSAT uses an MIT style license. In essence...
  • Glucose

  • Referenced in 47 articles [sw07833]
  • The Glucose SAT Solver. Glucose is based on...
  • Treengeling

  • Referenced in 51 articles [sw13314]
  • Lingeling, Plingeling and Treengeling: Lingeling and its parallel...
  • satUZK

  • Referenced in 4 articles [sw18570]
  • SATUZK: solver description. satUZK is a conflict-driven...
  • Syrup

  • Referenced in 6 articles [sw25919]
  • A distributed version of Syrup. A portfolio SAT...
  • YalSAT

  • Referenced in 25 articles [sw31644]
  • YalSAT Yet Another Local Search Solver. Around 2012...
  • CaDiCaL

  • Referenced in 24 articles [sw31645]
  • CaDiCaL Simplified Satisfiability Solver: The goal of CaDiCaL...