• Dsharp

  • Referenced in 8 articles [sw41094]
  • Dsharp: fast d-DNNF compilation with sharpSAT. DSHARP is an open source CNF -> d-DNNF...
  • MiniSat

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

  • Referenced in 85 articles [sw06261]
  • MiniZinc is a medium-level constraint modelling language...
  • SATzilla

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

  • Referenced in 15 articles [sw24724]
  • Chuffed, a lazy clause generation solver: lazy clause...
  • Essence

  • Referenced in 22 articles [sw27491]
  • Essence: A constraint language for specifying combinatorial problems...