cmodels - SAT-Based Disjunctive Answer Set Solver

  title={cmodels - SAT-Based Disjunctive Answer Set Solver},
  author={Yuliya Lierler},
Disjunctive logic programming under the stable model semantics [GL91] is a new methodology called answer set programming (ASP) for solving combinatorial search problems. This programming method uses answer set solvers, such as DLV [Lea05], GNT [Jea05], SMODELS [SS05], ASSAT [LZ02], CMODELS [Lie05a]. Systems DLV and GNT are more general as they work with the class of disjunctive logic programs, while other systems cover only normal programs. DLV is uniquely designed to find the answer sets for… CONTINUE READING