Package: cvc5
Architecture: amd64
Version: 1.1.2-2build1
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-2build1), libcvc5parser1 (= 1.1.2-2build1), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cvc5/cvc5_1.1.2-2build1_amd64.deb
Size: 91938
MD5sum: 92327bf5f1088a698dd7effc87307178
SHA1: acd05f7fcea622417eb2cf78efe28fd4e004a444
SHA256: e1a0fa297f5f223329681b385da6ae40be0494bb0642bcda6c020976b0546f62
SHA512: 959663634c326ce4c9fa9ffdb96e1e72637b199231d88e5a912ee435658cb2e17f51bf1d417f006edcac27cddebd91bd7b9eed2a6881224fe98b333680bebbde
Homepage: https://cvc5.github.io/
Description: automated theorem prover for SMT problems
Description-md5: d1e715b2658513dcf601c320616177f6