2 datasets found

Tags: SMT

Filter Results

  • 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...

  • SMT-based Constraint Answer Set Solver ezsmt+

    SMT-based Constraint Answer Set Solver ezsmt+ is a system that uses Satisfiability Modulo Theories (SMT) solvers to find answer sets of Constraint Answer Set Programming (CASP)...
You can also access this registry using the API (see API Docs).