Package: clasp
Priority: extra
Section: universe/interpreters
Installed-Size: 932
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: i386
Version: 2.1.4-1ubuntu1
Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.6)
Recommends: gringo
Suggests: potassco-guide
Filename: pool/universe/c/clasp/clasp_2.1.4-1ubuntu1_i386.deb
Size: 349330
MD5sum: 0067585d455ac97ef79ec813830257dd
SHA1: d63dc20d129beb1b4f589ae3dc931d7c7fc83e0f
SHA256: 1715ca2532d6cf35be5295e83d8acf6f021773ba4e5d92e59e7df9d16030ec1b
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