• MiniSat

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

  • Referenced in 14 articles [sw06309]
  • ASPIDE: Integrated development environment for answer set programming...
  • Potassco

  • Referenced in 80 articles [sw06996]
  • Potassco: the Potsdam answer set solving collection. This...
  • PROLEG

  • Referenced in 4 articles [sw12125]
  • PROLEG: An Implementation of the Presupposed Ultimate Fact...