asp(un)cud
a solver for CUDF instances based on ASP tools

Overview

aspcud is a solver for CUDF instances based on ASP tools developed within the potassco project. It utilizes the preprocessor cudf2lp that rewrites CUDF specifications into ASP facts. These facts together with an ASP program are then passed to grounder gringo and are finally solved by solver clasp.

aspuncud uses a different solving engine than aspcud. Otherwise, both systems are identical. In contrast to aspcud, aspuncud utilizes a modified version of clasp called unclasp, which uses unsatisfiable cores to guide the optimization process.

Competition Submissions

SourceForge.net Logo Valid XHTML 1.0 Strict