Package - clasp
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/clasp/clasp_3.3.5-4.2_amd64.deb (Size: 614.5KiB)| Property | Value |
|---|---|
| Package | clasp |
| Version | 3.3.5-4.2 |
| Installed-Size | 1719 |
| Maintainer | Debian Science Maintainers |
| Architecture | amd64 |
| Depends | libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 12) |
| Recommends | gringo |
| Description | conflict-driven nogood learning answer set solver |
| Description-md5 | 618ecb2971ab1f6d5fd7213f2985ff5b |
| Homepage | https://www.potassco.org/clasp/ |
| Tag | implemented-in::c++, role::program |
| Section | interpreters |
| Priority | optional |
| Filename | pool/main/c/clasp/clasp_3.3.5-4.2_amd64.deb |
| Size | 629252 |
| MD5sum | 6e6ecaec37aba4758c1394d626706c5a |
| SHA256 | a199884c447fae7f281ed828f52ad08f480b5894562ce2a35bcc44ced51eabaf |
Files in package
- /usr/bin/clasp
- /usr/share/doc/clasp/README.md.gz
- /usr/share/doc/clasp/changelog.Debian.gz
- /usr/share/doc/clasp/changelog.gz
- /usr/share/doc/clasp/copyright
- /usr/share/man/man1/clasp.1.gz