welcome: please sign in

Revision 2 as of 2013-05-26 14:58:13

Clear message
location: Participants\clasp

clasp

Team

Description

clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of ASP with state-of-the-art techniques from the area of Boolean constraint solving.

System Settings

References