Package - python3-cvc5

Package:  python3-cvc5
apt-get install python3-cvc5
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/cvc5/python3-cvc5_1.1.2-2+b3_amd64.deb (Size: 331.1KiB)

PropertyValue
Packagepython3-cvc5
Sourcecvc5 (1.1.2-2)
Version1.1.2-2+b3
Installed-Size1613
MaintainerDebian Science Maintainers
Architectureamd64
Dependspython3 (<< 3.14), python3 (>= 3.13~), python3:any, libc6 (>= 2.32), libcvc5-1 (>= 1.1.2), libcvc5parser1 (>= 1.1.2), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Descriptionautomated theorem prover for SMT problems (Python bindings)
Description-md5fd44bb6c2829474adf4e1656c846c672
Homepagehttps://cvc5.github.io/
Sectionmath
Priorityoptional
Filenamepool/main/c/cvc5/python3-cvc5_1.1.2-2+b3_amd64.deb
Size339080
MD5sum971f731c9f1fca348ea636400b77664b
SHA25603ee26b40cbf2e78313fe48cf5b10e536b3df6975fd0f92c705c9a91db87e1bd

Files in package

  • /usr/lib/python3/dist-packages/cvc5-1.1.2.egg-info/PKG-INFO
  • /usr/lib/python3/dist-packages/cvc5-1.1.2.egg-info/dependency_links.txt
  • /usr/lib/python3/dist-packages/cvc5-1.1.2.egg-info/not-zip-safe
  • /usr/lib/python3/dist-packages/cvc5-1.1.2.egg-info/requires.txt
  • /usr/lib/python3/dist-packages/cvc5-1.1.2.egg-info/top_level.txt
  • /usr/lib/python3/dist-packages/cvc5/__init__.py
  • /usr/lib/python3/dist-packages/cvc5/cvc5_python_base.cpython-313-x86_64-linux-gnu.so
  • /usr/share/doc/python3-cvc5/AUTHORS
  • /usr/share/doc/python3-cvc5/NEWS.md.gz
  • /usr/share/doc/python3-cvc5/THANKS
  • /usr/share/doc/python3-cvc5/changelog.Debian.amd64.gz
  • /usr/share/doc/python3-cvc5/changelog.Debian.gz
  • /usr/share/doc/python3-cvc5/copyright