Package: aspcud
Architecture: amd64
Version: 1:1.9.4-2build1
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: 490
Provides: cudf-solver
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libstdc++6 (>= 9), gringo (>= 4.2.1), clasp (>= 3.0.0), clasp (<< 4)
Filename: pool/universe/a/aspcud/aspcud_1.9.4-2build1_amd64.deb
Size: 134252
MD5sum: d087cc783e94f9d2ee8a90b2f42faa32
SHA1: a8c2b3a89dd42e0880ff6aa8305aa6053053346d
SHA256: b4a865b2bc8aba7a955ff1b0cf26cf82317c040f78d15f72724e4bffa74cd138
Homepage: http://www.cs.uni-potsdam.de/wv/aspcud/
Description: CUDF solver based on Answer Set Programming
Description-md5: b7ea8294415a8e7e8313a56dfe596eb9