Section:
Depends : gringo
Depends (build) : boost, cmake, re2c
Links: Changelog, Reverse dependency, QA Page, Report issues
Upstream: source (tarball) 1.9.6
CUDF solver based on Answer Set Programming
Section:
Depends : gringo
Depends (build) : boost, cmake, re2c
Links: Changelog, Reverse dependency, QA Page, Report issues
Upstream: source (tarball) 1.9.6