• ASSAT

  • Referenced in 175 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...
  • WASP

  • Referenced in 56 articles [sw09565]
  • WASP: a native ASP solver based on constraint...
  • Clingo

  • Referenced in 104 articles [sw09893]
  • Potassco, the Potsdam Answer Set Solving Collection, bundles...
  • htd

  • Referenced in 12 articles [sw21112]
  • Htd - a free, open-source framework for (customized...
  • lp2normal

  • Referenced in 7 articles [sw25505]
  • lp2normal -- a normalization tool for extended logic programs...
  • selp

  • Referenced in 8 articles [sw31006]
  • selp - A Single-Shot Epistemic Logic Program Solver...
  • eclingo

  • Referenced in 4 articles [sw39883]
  • eclingo : A Solver for Epistemic Logic Programs. We...