Package: cvc5
Architecture: amd64
Version: 1.1.2-2
Priority: optional
Section: universe/math
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: 398
Depends: libcvc5-1 (= 1.1.2-2), libcvc5parser1 (= 1.1.2-2), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cvc5/cvc5_1.1.2-2_amd64.deb
Size: 95212
MD5sum: f141ff8a795ffae9efb887afdfb7c222
SHA1: 861d602a63011fcd93850b54f21e51a856627add
SHA256: 4eb3b097b98d424872852a4cc8d2276a5a532b79f1de85a058b0392e52649c2d
SHA512: 2a172932dffee111f50f9935f3ec4cf299b0dd38d5457313deb6b078650ffcac7929765e8d1847c0cf74aca5f26b1721d5eaf93b67350f259e6213f0a473d6f5
Homepage: https://cvc5.github.io/
Description: automated theorem prover for SMT problems
Description-md5: d1e715b2658513dcf601c320616177f6