Versions Packages Information History Related Badges Report

Information for clasp

Summaries

  • A Common Lisp implementation based on LLVM with C++ integration
  • A conflict-driven nogood learning answer set solver (2)
  • Answer set solver
  • Answer set solver for (extended) normal and disjunctive logic programs
  • Answer set solver for (extended) normal logic programs (2)

Maintainers

Homepages