An answer set solver for normal or extended logic programs..
- clasp
- Version :3.0.6
- License :Freeware
- OS :Windows All
- Publisher :University of Applied Sciences Potsdam
clasp for Windows 32 bit Download Now
clasp for Windows 64 bit Download Now
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.