Results 1 to 5 of 5
Sort by:

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