Advanced Search Tips

Cmodels (answer set solver)

Submitted by on Dec 15 2014 Suggest Revision
From: UT Austin
Paper:
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.
Post comment
Cancel