Package: aspcud
Architecture: i386
Version: 1:1.9.4-1
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: 462
Provides: cudf-solver
Depends: libc6 (>= 2.4), libgcc1 (>= 1:3.0), libstdc++6 (>= 5.2), gringo (>= 4.2.1), clasp (>= 3.0.0), clasp (<< 4)
Filename: pool/universe/a/aspcud/aspcud_1.9.4-1_i386.deb
Size: 139528
MD5sum: 9cb8b9a3e35c16238ada4f3b09e2c58a
SHA1: f630abfcbf6dbd0281229bf539085a48083e7cd0
SHA256: b638b414fc38d4fbfe6745fa417a967444ef909fd42f8d2133b8bbf7f6532dce
Homepage: http://www.cs.uni-potsdam.de/wv/aspcud/
Description: CUDF solver based on Answer Set Programming
Description-md5: b7ea8294415a8e7e8313a56dfe596eb9