Binaries
cvc5
(
cvc5_1.0.3-1_amd64.deb
)
SHA1: 72ce7ab961139a4d44ade8d71a04c7c503200573
SHA256: c43850b2afa6fb49515ec20a3761581be63a5f707c92010795ae9007f9b49f44
Size: 107,992 bytes
SHA1: da6b6d5b58443dc9438808918b004eff0593c3e1
SHA256: a70bcc08b7f3dde740da4ee57a3d1492fc0a1652621c8a5c05314d2aad4390ef
Size: 2,544,012 bytes
SHA1: 6725f4c1bf9daaa528341a175c91095f321762f7
SHA256: 8f24da15cf13c0cc2ba559863c50f65738d7b6aaab855200b521c5c236d23b8a
Size: 5,844,304 bytes
SHA1: 0ec955fde49ac98c0a9ef1b31589805e570f4e77
SHA256: 8b0a74e7f0cb1a4773de9ad715c4409c55348f942685ec85cfafa2b8a2be0bc7
Size: 169,513,456 bytes
SHA1: bd6c85c710c0a11fed4b6e56e7a2eec7d8bacb3a
SHA256: 4fe154341f1e0f7627360e0a13ae594d29a03fe7eb51e0f30f1cb0cee3021149
Size: 58,584 bytes
SHA1: 7f2faa92bb2d28e369b04df9644fb613cd81140f
SHA256: 761ab78ac32ac846d4de8ddededeaa4b999b6e593d048e775398113e9a0f09b1
Size: 306,980 bytes
SHA1: f680c95eca78a0cbdc99f7df9781045d1c1e13ad
SHA256: 7b1553056b77a046ce9a7e2a640dc877d7b3240348974c40c12aaacbf475e15a
Size: 5,027,516 bytes