LogoopenSUSE Build Service > Projects
Sign Up | Log In

Clasp SAT Solver

clasp is an answer set solver for (extended) normal and disjunctive logic programs. It combines the high-level modeling capacities of answer set programming with state-of-the-art techniques from the area of Boolean constraint solving.

Source Files

Filename Size Changed Actions
clasp-3.2.0-source.tar.gz 698 KB Download File
clasp.1.gz 1.23 KB Download File
clasp.changes 151 Bytes Download File
clasp.spec 1.96 KB Download File

Comments for home:hugomg (0)

Login required, please login or signup in order to comment