cmodels(diff)

cmodels(diff) is a system that uses Satisfiability Modulo Theories (SMT) solvers to find answer sets of Constraint Answer Set Programming (CASP) programs. The system can handle non-tight programs and enumerate multiple answer sets.