Package - cvc4

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

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/cvc4/cvc4_1.8-3+b4_amd64.deb (Size: 80.9KiB)

PropertyValue
Packagecvc4
Sourcecvc4 (1.8-3)
Version1.8-3+b4
Installed-Size296
MaintainerDebian Science Maintainers
Architectureamd64
Dependslibcvc4-7 (= 1.8-3+b4), libcvc4parser7 (= 1.8-3+b4), libc6 (>= 2.34), libcln6, libgcc-s1 (>= 3.0), libreadline8t64 (>= 6.0), libstdc++6 (>= 13.1)
Descriptionautomated theorem prover for SMT problems
Description-md5cfa2a5d59806f96ad49c7f5c046db97b
Homepagehttps://cvc4.github.io/
Sectionmath
Priorityoptional
Filenamepool/main/c/cvc4/cvc4_1.8-3+b4_amd64.deb
Size82828
MD5sumf1325b0824be860e4eb803d76dea8623
SHA25643abe68dcf37ac9c1b9f40bdfaa6fb5abae5fb98cb12f883a3b6d71b65c28677

Files in package

  • /usr/bin/cvc4
  • /usr/share/cvc4/drat.plf
  • /usr/share/cvc4/er.plf
  • /usr/share/cvc4/lrat.plf
  • /usr/share/cvc4/sat.plf
  • /usr/share/cvc4/smt.plf
  • /usr/share/cvc4/th_arrays.plf
  • /usr/share/cvc4/th_base.plf
  • /usr/share/cvc4/th_bv.plf
  • /usr/share/cvc4/th_bv_bitblast.plf
  • /usr/share/cvc4/th_bv_rewrites.plf
  • /usr/share/cvc4/th_int.plf
  • /usr/share/cvc4/th_lira.plf
  • /usr/share/cvc4/th_real.plf
  • /usr/share/doc/cvc4/AUTHORS
  • /usr/share/doc/cvc4/NEWS.gz
  • /usr/share/doc/cvc4/THANKS
  • /usr/share/doc/cvc4/changelog.Debian.amd64.gz
  • /usr/share/doc/cvc4/changelog.Debian.gz
  • /usr/share/doc/cvc4/copyright
  • /usr/share/man/man1/cvc4.1.gz
  • /usr/share/man/man5/cvc4.5.gz