Package: clasp Architecture: amd64 Version: 3.3.3-3 Priority: extra Section: universe/interpreters Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 1743 Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), libstdc++6 (>= 6) Recommends: gringo Filename: pool/universe/c/clasp/clasp_3.3.3-3_amd64.deb Size: 621268 MD5sum: 9ad086547a5bcf0582402857ef299beb SHA1: 814152c6fc035afdad884410e1b9d937251d7ff0 SHA256: 6784e4a74169becdc5e4537dc28749f9ee5a436017e36193aaad9bd3aad20c9d Homepage: https://www.potassco.org/clasp/ Description: conflict-driven nogood learning answer set solver Description-md5: 618ecb2971ab1f6d5fd7213f2985ff5b