welcome: please sign in
location: Participants\claspD-2

claspD-2

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

ASP Competition 2013: Participants\claspD-2 (last edited 2013-05-23 21:29:01 by FrancescoCalimeri)