Package: cvc5
Priority: optional
Section: universe/math
Installed-Size: 455
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.3.2-1build1
Depends: libcvc5-1 (= 1.3.2-1build1), libcvc5parser1 (= 1.3.2-1build1), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cvc5/cvc5_1.3.2-1build1_amd64.deb
Size: 122028
MD5sum: 8557ff9fb15b53dee33d04d1410eff1f
SHA1: ec61f3c3c986ff91fd5ab7e9bf4567032647d262
SHA256: b28d0c67d985cdb7020846a5df2c38ac182cd4672cb96eb739aa769418500203
SHA512: 0e6e66d326cb514b2d8e93c15620e01ba43bb9e4b538f6547b1fc6688a7be8a8a0f6f51caf95d82b941a0c521494b9bd4a3ec62a08e45faaee2068aaaa68fc04
Homepage: https://cvc5.github.io/
Description: automated theorem prover for SMT problems
Description-md5: d1e715b2658513dcf601c320616177f6
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug