Binaries
cvc5
(
cvc5_1.0.5-3_amd64.deb
)
SHA1: 920edc2800f7cb1b6d8073adf51aa7d7fe4f1482
SHA256: f24b20e716fbecac34ca2280b72b0d91e7277737c8092c03451ae2fb05762e4f
Size: 103,248 bytes
SHA1: 09f6344bcf5955cae060f8bdf0b6c26c43a38c29
SHA256: fe5496e78b688deac69b0efc4b8f4db8a7484d5d59db273bc15fc3dfc095c13f
Size: 1,816,480 bytes
SHA1: b9b05df0afa632e88243a7a48e043a52f89e2a6b
SHA256: 44d058448ef9e7edfcd7731499413205ac7701d9558c6441885f34d69494526d
Size: 6,112,236 bytes
SHA1: 56d924ba0c9d0d32f6de6b39e65213405b973157
SHA256: f8e5a65f1d5d813fef958c57049f6f5c1c71cada1400cd6c16d357361d255c7a
Size: 169,823,104 bytes
SHA1: 67b8cbcedca45a8e2de2d3791ad409453cf483bc
SHA256: 7f5c960700a0079fc957a31b837a27ed479d764baaeaf591d8b1cc3958599add
Size: 60,640 bytes
SHA1: 7a0aa55f8ca01577b0e5b60ce24818575fe85761
SHA256: 370d4adddea03ebb0cdca0b12ddcb64b7052611e3d5a0cd58a9b03075af8ef5c
Size: 374,424 bytes
SHA1: 6124fdac8fdf1dc9190959e88a264dfc8ad8f9db
SHA256: bbbeb79a726ffc5fd86404c4ac459475fde1f969bf8e6fc395d561a2ac8f8a06
Size: 6,161,760 bytes
SHA1: d1c0ae76758e02d5a91cdc12f123fbd0e615081c
SHA256: 3a9358262d640a8cbf89c34cd80f98c38dd43735c47de771096df90536df1b30
Size: 227,688 bytes
SHA1: d4cd94dbf0d2e70d119ca3d14fbccbd4f857b84a
SHA256: ba1dfad48f99b67ec86dfd980c70e6a071a7abfa9f6fa5c39ff0e44c4a6d6846
Size: 2,049,256 bytes