Binaries
cvc5
(
cvc5_1.0.5-3_amd64.deb
)
SHA1: 811d6a4d2ce7c39f7cc14685a9bb856f8c8076a8
SHA256: 6f48c83dfeb9b0f5d982dbe87df19eead2dd777a8fcac9d3350cac566ee95404
Size: 103,232 bytes
SHA1: 1e2ebbc62996a0142c6e84cf478f0a6d3e3bf192
SHA256: d8f156b5c1a5f8b81f81b25551312b411c5527c05a09581df8a7358c78791414
Size: 1,817,776 bytes
SHA1: 0b16bddb88815f306bd43d95159660acc63e0cd3
SHA256: 018c77b0ff9ebf9b392c018b27f2b015494a0e9b06b97f7bf582373321396a2d
Size: 6,111,576 bytes
SHA1: 80409f22c4761e4663e212deeb15044660b97396
SHA256: b1f2a810a540950f82e235a78d71f5c041f5a38ebe5491affeba179dbaabf558
Size: 170,000,552 bytes
SHA1: 67b8cbcedca45a8e2de2d3791ad409453cf483bc
SHA256: 7f5c960700a0079fc957a31b837a27ed479d764baaeaf591d8b1cc3958599add
Size: 60,640 bytes
SHA1: 1b55185abe3891dc8bdf8550c9fa5b7e0e43c37e
SHA256: 96a991bb68bf25613ffc28a62d4f578e60b6ad98788673973c496a8f2562164e
Size: 374,444 bytes
SHA1: 2bdc9c2effb20fb109c5bbd74cd1200e7ddbc0a6
SHA256: 24e2717d5afb9e46c42e8d606621940f7b8391728d740ff3c09c02d4cd8d1105
Size: 6,181,028 bytes
SHA1: 56903a94452c76d493de3ff3fd93e584f62c5a28
SHA256: f9b1b688d483725cf1b44e28786bb9d6a074f84775ed791764203e29f29fed2f
Size: 228,396 bytes
SHA1: e63fed1070e6e1b40f70eaa1a4f2005cc72fd397
SHA256: 918b0941724f14408a80148c64dd0714761841cce3cf790fe97d56420715610d
Size: 2,058,696 bytes