Package: aspcud
Priority: extra
Section: universe/admin
Installed-Size: 534
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Ralf Treinen <treinen@debian.org>
Architecture: i386
Version: 1:1.9.1-2
Provides: cudf-solver
Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.9), gringo (>= 4.2.1), clasp (>= 3.0.0), clasp (<< 4)
Filename: pool/universe/a/aspcud/aspcud_1.9.1-2_i386.deb
Size: 150062
MD5sum: 4bf9b60f1ece6a92b5b0e4deabd424d1
SHA1: 7e88f52babd6fef8460dc01a6e1690b00a955919
SHA256: a4422c9904375937e95e0db107985ee45095b218f9710b222e122fb8da9221a4
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