Section: runtime-common
Depends : gringo
Depends (build) : boost, cmake, re2c
Depends (library): gcc-runtime, glibc
Links: Changelog, Reverse dependency, Report issues
Upstream: source (tarball) 1.9.6
CUDF solver based on Answer Set Programming
Section: runtime-common
Depends : gringo
Depends (build) : boost, cmake, re2c
Depends (library): gcc-runtime, glibc
Links: Changelog, Reverse dependency, Report issues
Upstream: source (tarball) 1.9.6