Binaries
cvc5
(
cvc5_1.0.5-3_amd64.deb
)
SHA1: 4a1356861f91a5e69b5519ded952ac8ed8e0eff0
SHA256: d3c5cdcbe8c0293280b5daae43b9b728fee36b39cf2995c46bdb12f5e2a8f888
Size: 102,764 bytes
SHA1: 7b5538865e24e529f6a2e0b9dc7f84a1d1330dc6
SHA256: 94135377ea040015a87b3ed2a421bc183b4b568180c871e6bee4553a30405c49
Size: 1,818,680 bytes
SHA1: ffd07aa58d6a220b45986a0a57a4eb6236831139
SHA256: 5e82f8853c260e0c30c156d6b3d053d96e94230cfc07e5f666f0b58bda196383
Size: 6,116,564 bytes
SHA1: 4f7a142a288dc54e2bc0095c83e005a2607577d0
SHA256: e6a2be81731d74779b7622ad4d9fa4d7f7f2372d8c8e675fb4c76a4de4aa7c9f
Size: 170,004,832 bytes
SHA1: 67b8cbcedca45a8e2de2d3791ad409453cf483bc
SHA256: 7f5c960700a0079fc957a31b837a27ed479d764baaeaf591d8b1cc3958599add
Size: 60,640 bytes
SHA1: 5407fc327b25f0dc009e3086f533b0f82787314f
SHA256: e8247bb7958fd77a14abc43c0aca639ca3d71409e0b9a5774811df12b9257e78
Size: 375,012 bytes
SHA1: 10da3c08c9d9cd95cbace9dda493ddd1773e6ee9
SHA256: a3f1a38cbe45e1ddc922e2f67aea58cb4194fc33f606a65a62ced152c8a1fd11
Size: 6,181,408 bytes
SHA1: a681049ad6c7a94945ee1ed2ab751d08cfb8fd8e
SHA256: 4ddf29ef7b39b29b6d8d58cabfafeec4b7f952b11509f60c90df2e14f4f6694f
Size: 227,920 bytes
SHA1: 262593a2b5968529c96c39e61f4c5ffdd696b26b
SHA256: 3ed902a57b35feab6567c58c8e6d18afa8ebfc26a1c339089d956a93f0059fa3
Size: 2,059,300 bytes