clasp

An answer set solver for normal or extended logic programs.
Download

clasp Ranking & Summary

Advertisement

  • Rating:
  • License:
  • Freeware
  • Publisher Name:
  • University of Applied Sciences Potsdam
  • Operating Systems:
  • Windows All
  • File Size:
  • 408 KB

clasp Tags


clasp Description

clasp allows is an implementation of the answer set programming algorithm that allows you to solve normal logic programs. The method is based on the conflict-driven nogood learning technique. You can use this tool as a ASP solver, SAT solver or PB solver for your projects that involve answer set solving.


clasp Related Software

About SoftwareSea