Binaries
cvc4
(
cvc4_1.8-2_amd64.deb
)
SHA1: 8ddf943f8680860282b7df940eee17b21317ae0e
SHA256: 9eabf62270e906d628edb118af7d38490d1e9d165b9386aca557a4330aad81be
Size: 81,384 bytes
SHA1: 0931016c503b32f1ea33ac286c0f2b9afba37f0d
SHA256: 316c60af4fe4c5949c10d6af0db2d84f96af8c813aeabb1c212d2a3dd13e2587
Size: 1,002,784 bytes
SHA1: b07c5cea1a9f55c8ff19b4ab2a7bbfc5be80042a
SHA256: 8fc9b7651e419b836ace0d55346cb5b832600bab6f4f68e5543691eb4c87c0be
Size: 5,663,172 bytes
SHA1: 766818bd4ed48af2b781ffaff827f579a27a98b7
SHA256: 646678154ba899003d8353670345b10e0a53a0c769ccd16897cb593544952c65
Size: 188,405,676 bytes
SHA1: bb3347e65ab694c2419db3b04f7cc35f114e3fce
SHA256: 336a71d9e102ea2299200413899ad81d7dd5d038f6671652fd88ae1c4771b870
Size: 131,264 bytes
SHA1: b3b6256e2ac99d9676f64d03cb80aa70c142dc2a
SHA256: 73328269f56b37997772ae0abe3a1f59c6de0c2108e24a879f98fb4815fe3302
Size: 366,212 bytes
SHA1: 4200e7b17338f564c83247fdd857dc92c09d2bc1
SHA256: 8f8df6d51aa27b988890bb6d8a1a53c11c1cd204e52fb3113784563b2b08eaf5
Size: 5,266,276 bytes