Binaries
cvc5
(
cvc5_1.0.5-3_amd64.deb
)
SHA1: 05219a51dd23375f199b6057f7c1e6961b65dc10
SHA256: 0196124791b39db3535d9dae5a84e449896b42f46ea716666cc321caa97403ac
Size: 102,292 bytes
SHA1: 18054034a3e0c98e4ce0ba158c5666343630e147
SHA256: 02987699f09758f547932f664dd86d9a477d656e2d396e1fb6ad17d56377cfd0
Size: 1,813,604 bytes
SHA1: 41e12d7066ad2b3eae5994615993d9ebf0ea9a29
SHA256: b478c396146b0a452fd3f5de4f5e511d657faf2c6dfb5ee0229f457186ec4c51
Size: 6,077,972 bytes
SHA1: 626ca6fffec51d5aa6c919cb89df20c703ef43f8
SHA256: 7b32e5b82c84c8b1b6a977693b0f949cbe6c5b4443628dff918cfff037a6a783
Size: 169,732,244 bytes
SHA1: 67b8cbcedca45a8e2de2d3791ad409453cf483bc
SHA256: 7f5c960700a0079fc957a31b837a27ed479d764baaeaf591d8b1cc3958599add
Size: 60,640 bytes
SHA1: 81abaa4f54f6fdcf196cd47db72edfcf8614aafb
SHA256: a253292d159bb049d11e65dc292b1def96b5089894a51e24d21baff9f2b5f82f
Size: 372,000 bytes
SHA1: 188aabd63c87dbb53978de2a65e06bc1f5b0bc3e
SHA256: 13b354b8b0895dbc6eba9185181ac90701a96eac7059446ab289decfa490bd85
Size: 6,156,168 bytes
SHA1: 516ef0654ae20b547ff6fc454bcc70e2e724e8a0
SHA256: 59714ae53585df8a0795095ae14db8e7a2680a0aca0f5e6b8ef38e77e69c9474
Size: 227,412 bytes
SHA1: 078fcf1648ca4241c328d546e37e6af5372e8950
SHA256: 130663980b74248982f9920db3e7590fcc13156663a225983df44b30a0234771
Size: 2,046,148 bytes