welcome: please sign in

Revision 1 as of 2013-05-23 21:32:26

Clear message
location: Participants\claspD-2-asp-core2

claspD-2 (asp-core2)

Team

Description

claspD-2 is an extension of clasp that allows for solving disjunctive logic programs using a new approach to disjunctive ASP solving that aims at an equitable interplay between "generating" and "testing" solver units.

System Settings

References