Package - cadical

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

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/cadical/cadical_1.7.4-1+b1_amd64.deb (Size: 386.8KiB)

PropertyValue
Packagecadical
Sourcecadical (1.7.4-1)
Version1.7.4-1+b1
Installed-Size1845
MaintainerDebian Science Maintainers
Architectureamd64
Dependslibc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
DescriptionSimplified Satisfiability Solver
Description-md556f60fd191e4f7c1010490ef2c5b90e0
Homepagehttp://fmv.jku.at/cadical/
Sectionmath
Priorityoptional
Filenamepool/main/c/cadical/cadical_1.7.4-1+b1_amd64.deb
Size396096
MD5sum925768b4b7cf42039b5901281c1cc9df
SHA256d25649a8bb30bede6af5b5d81cc9fce4017197640940863283df722eff88f88d

Files in package

  • /usr/bin/cadical
  • /usr/bin/mobical
  • /usr/share/doc/cadical/changelog.Debian.amd64.gz
  • /usr/share/doc/cadical/changelog.Debian.gz
  • /usr/share/doc/cadical/copyright
  • /usr/share/man/man1/cadical.1.gz
  • /usr/share/man/man1/mobical.1.gz