CUDF solver based on Answer Set Programming
Section: extra-libs
Depends: gringo
Depends (build): boost, cmake, re2c
Links: Changelog, Reverse dependency, QA Page, Report issues