Package: clasp
Priority: extra
Section: universe/interpreters
Installed-Size: 1174
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: i386
Version: 3.1.4-1
Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.2), libstdc++6 (>= 5.2)
Recommends: gringo
Filename: pool/universe/c/clasp/clasp_3.1.4-1_i386.deb
Size: 459952
MD5sum: 72935b34dd86051f6f82981fe48effe4
SHA1: c8e62b630b032938286f1f7a379fa3b0dc8d0c69
SHA256: aaf44df9c407f85f1da36684bd15593825d55e20146057a250ba04596a5bca10
Description: conflict-driven nogood learning answer set solver
Homepage: http://www.cs.uni-potsdam.de/clasp/
Description-md5: 618ecb2971ab1f6d5fd7213f2985ff5b
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu