cmodels - SAT-Based Disjunctive Answer Set Solver.

Yuliya Lierler

Browse the full LPNMR paper archive.