cplint

cplint is a suite of programs for reasoning and learning with the Independent Choice Logic, Logic Programs with Annotated Disjunctions and CP-logic programs developed at the University of Ferrara.