claspD is an extension of clasp that allows for solving disjunctive logic programs.

claspD is fully superseded by clasp 3.