welcome: please sign in
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

ASP Competition 2013: Participants\claspD-2-asp-core2 (last edited 2013-05-23 21:41:21 by FrancescoCalimeri)