Cmodels (answer set solver)
Resource Type:
Code
License:
Other/Unknown
Language:
Data Format:
Description
Cmodels is a system that computes answer sets for either disjunctive logic programs or logic programs containing choice rules. It also supports incremental answer set solving, where constraints may be added to a program on the fly. Cmodels requires that the input be a grounded logic program as generated by the Lparse or Gringo front-ends.
Categorized in: Representation and Reasoning | Automated Theorem Proving | Logic & Formal Reasoning | Nonmonotonic Logic
Post comment
Cancel