Package: aspcud
Priority: extra
Section: universe/admin
Installed-Size: 579
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Ralf Treinen <treinen@debian.org>
Architecture: i386
Version: 1:1.8.0-2
Provides: cudf-solver
Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.6), python, gringo (>= 4), clasp (>= 2.1.0), clasp (<< 3)
Filename: pool/universe/a/aspcud/aspcud_1.8.0-2_i386.deb
Size: 145766
MD5sum: 4c0e2d6c1a0761e14b13f860e0ab7e31
SHA1: 65c06c8aa6f3b6b4b314b45c8b6d6d8afcae788b
SHA256: a6e2911b7f8778d8af6294cabc4e279dbb447f0f26a63af8c4ec840e0b237639
Description: CUDF solver based on Answer Set Programming
Homepage: http://www.cs.uni-potsdam.de/wv/aspcud/
Description-md5: b7ea8294415a8e7e8313a56dfe596eb9
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu