• OTTER

  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • SPIN

  • Referenced in 716 articles [sw03455]
  • Spin is a popular open-source software tool...
  • JBool

  • Referenced in 108 articles [sw06185]
  • This software promotes some general and useful tools...
  • CAMA

  • Referenced in 4 articles [sw07285]
  • CAMA: A Multi-Valued Satisfiability Solver This paper...
  • DISCOUNT

  • Referenced in 14 articles [sw19613]
  • A distributed and learning equational prover DISCOUNT. The...
  • CLIN

  • Referenced in 6 articles [sw19618]
  • A semantically guided first-order theorem prover CLIN...