Package - clasp

Package:  clasp
apt-get install clasp
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/clasp/clasp_3.3.5-4.2_amd64.deb (Size: 614.5KiB)

PropertyValue
Packageclasp
Version3.3.5-4.2
Installed-Size1719
MaintainerDebian Science Maintainers
Architectureamd64
Dependslibc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 12)
Recommendsgringo
Descriptionconflict-driven nogood learning answer set solver
Description-md5618ecb2971ab1f6d5fd7213f2985ff5b
Homepagehttps://www.potassco.org/clasp/
Tagimplemented-in::c++, role::program
Sectioninterpreters
Priorityoptional
Filenamepool/main/c/clasp/clasp_3.3.5-4.2_amd64.deb
Size629252
MD5sum6e6ecaec37aba4758c1394d626706c5a
SHA256a199884c447fae7f281ed828f52ad08f480b5894562ce2a35bcc44ced51eabaf

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