Package: aspcud
Architecture: amd64
Version: 1:1.9.6-2
Priority: extra
Section: universe/admin
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Ralf Treinen <treinen@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 367
Provides: cudf-solver
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11), gringo (>= 4.2.1), clasp (>= 3.0.0), clasp (<< 4)
Filename: pool/universe/a/aspcud/aspcud_1.9.6-2_amd64.deb
Size: 120642
MD5sum: 6087e42f2c09e4e133018bf56d97c8e0
SHA1: 7be3be4695db249df85e61fba203276e51ed2057
SHA256: c26b8c1d6ffad1b40ffe06c7da6179dbe3bfb6f76cbb2f31f13ac596e5f165e9
SHA512: e4fa0f9e89e7502b11ed4629cb6fb26fc0b3a9cfe25e87ef345e00754c26a9fae9d797e720d30af2f45c6f5c06dfb42ae00105852359cbf6e06fd7d62fff02da
Homepage: https://potassco.org/aspcud/
Description: CUDF solver based on Answer Set Programming
Description-md5: b7ea8294415a8e7e8313a56dfe596eb9