welcome: please sign in

Please enter your password of your account at the remote wiki below.
/!\ You should trust both wikis because the password could be read by the particular administrators.

Clear message
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