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

claspD-2-mt

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-mt (last edited 2013-05-23 21:41:09 by FrancescoCalimeri)