Binaries
cvc5
(
cvc5_1.0.5-3_amd64.deb
)
SHA1: 2f40805116ccdd6d548ba93f1a7c81086652d450
SHA256: 60b8bd35609cd7e8bb99d40a3b39758a1354e4e31f5166794dfaccee59a1a0ed
Size: 103,288 bytes
SHA1: 527b57bbb31a944d764835d487611d27ab9454d8
SHA256: 8a24d5e2231262ebf97ebfbe9a76fd233738c8ab5f7b10734b125817f0bcf5d3
Size: 1,818,456 bytes
SHA1: e9072574cb69418ffb6641306b2ffa650758cff5
SHA256: 3156391000de07d8ba8dd563b59ae45df9ecd9063b1905a204ad48121c72791d
Size: 6,112,024 bytes
SHA1: f46c37299e9c84074e62285e4e3086ff5d3542eb
SHA256: cfd32ba10de1cac2f94801f5661935f7960b5e7730d241fa2a997057d733b880
Size: 170,003,324 bytes
SHA1: 67b8cbcedca45a8e2de2d3791ad409453cf483bc
SHA256: 7f5c960700a0079fc957a31b837a27ed479d764baaeaf591d8b1cc3958599add
Size: 60,640 bytes
SHA1: a7cfe7d4833944befa98cc31ea31dc7fa5df2eb2
SHA256: f9373093e417a3ef6528d94801b4a2c5a98485ef45351c654092fb237feddd45
Size: 375,196 bytes
SHA1: 69c1ea441745e9a170fd48eccc0883ad2dcace74
SHA256: 374a8c5ad5cc4e4c8478631cb7f6ead6eb1f052d3600b068cfe674920550c767
Size: 6,181,228 bytes
SHA1: 8cbcb77125f377afac23aa73e2eb33e9d0ad72b6
SHA256: d1eed8012030fd794cf17bc6f869352dad351250effde94152c10f4deb01bc4a
Size: 228,132 bytes
SHA1: 10201149dee26fd498a57efcad404a7d31cee428
SHA256: 07b9eb44f1c47a1b636c7adfcbb1143926926a8f51cc1a858cac787fb91b2e79
Size: 2,058,640 bytes