Package: clasp Priority: extra Section: universe/interpreters Installed-Size: 808 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Architecture: amd64 Version: 2.0.4-1 Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.6), libtbb2 (>= 2.1~) Recommends: gringo Suggests: potassco-guide Filename: pool/universe/c/clasp/clasp_2.0.4-1_amd64.deb Size: 364622 MD5sum: 636b56cae4f3f4cb469f7657e16224d1 SHA1: 75bbc2676a045c671f882667336715754a4570af SHA256: 440d1d9e195a8d628849eb5892485da8e3f9bf6d587e1b6537a5e7b1bb01f15c 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