• MiniSat

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

  • Referenced in 158 articles [sw04446]
  • The CUDD package provides functions to manipulate Binary...
  • Chaff

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

  • Referenced in 21 articles [sw09442]
  • System description: the proof transformation system CERES. Cut...
  • DRAT-trim

  • Referenced in 37 articles [sw13313]
  • DRAT-trim: efficient checking and trimming using expressive...