Package: python3-cvc5
Source: cvc5
Priority: optional
Section: universe/math
Installed-Size: 1816
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.3.2-1build1
Depends: python3 (<< 3.15), python3 (>= 3.14~), python3:any, libc6 (>= 2.32), libcvc5-1 (>= 1.3.2), libcvc5parser1 (>= 1.3.2), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cvc5/python3-cvc5_1.3.2-1build1_amd64.deb
Size: 390836
MD5sum: 9cc71ee86358eb81a2b480655080249c
SHA1: c0a422af626cb8a6d04918c0d02f160e471aa5fb
SHA256: be0155560e6ded8fec4ee05323b951abae89d9bc6fb81f3cb72884319701c738
SHA512: a29fff6c455dcbf7c60ab52506d7d58050824477a9778194c645f119c7a8573d36efd87acbc8d8fc1f889e587d0156c07489a8a91fd092779d0a4b960424a152
Homepage: https://cvc5.github.io/
Description: automated theorem prover for SMT problems (Python bindings)
Description-md5: fd44bb6c2829474adf4e1656c846c672
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug