Package: python3-cvc5
Architecture: amd64
Version: 1.1.2-2build1
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: 1625
Depends: python3 (<< 3.14), python3 (>= 3.13~), 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-2build1_amd64.deb
Size: 358312
MD5sum: 1316313df551ac41fdda397e349fad4b
SHA1: db1e929da70c72b9a44e3c24157c4d3921f473c0
SHA256: e745b01c38de8fa972c12d81dbfa0688536e337772ab44669e90b26984104f0b
SHA512: 4aba91c3f6bffa318551b4b950cc9840ed9d8145b721b0ac6354f3f79df7eaf2a21c5de0d95c7eb56259459318b3c11879b09f8c96af5e81037468a786ea8148
Homepage: https://cvc5.github.io/
Description: automated theorem prover for SMT problems (Python bindings)
Description-md5: fd44bb6c2829474adf4e1656c846c672