Section: core-libs
Depends : gmp
Links: Changelog, Reverse dependency, Report issues
Upstream: source (tarball) 0.27
Library for manipulating sets and relations of integer points bounded by linear constraints
Section: core-libs
Depends : gmp
Links: Changelog, Reverse dependency, Report issues
Upstream: source (tarball) 0.27