Package: python3-cvc5
Architecture: amd64
Version: 1.1.2-1build1
Priority: optional
Section: universe/math
Source: cvc5
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1541
Depends: python3 (<< 3.13), python3 (>= 3.12~), python3:any, libc6 (>= 2.32), libcvc5-1 (>= 1.1.2), libcvc5parser1 (>= 1.1.2), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cvc5/python3-cvc5_1.1.2-1build1_amd64.deb
Size: 347334
MD5sum: 300713ab8395fe70b7c65fa3c734606b
SHA1: 5fe479a8fb7dbd46d0fd4f1015ebffc0c5e308f4
SHA256: 4307ce7621cc1dcfeec332728b4f038d5b7000cc29963fe6aa009d8e2df0d21d
SHA512: f2d8e1bfa4b37678f517582117ded88366e664ec77a26beae62e14360deaf7fbf05de61e1153a419e8ee7b8d295e82710f397ad8c6aae0d3083e40c51f7252cd
Homepage: https://cvc5.github.io/
Description: automated theorem prover for SMT problems (Python bindings)
Description-md5: fd44bb6c2829474adf4e1656c846c672