Binaries
cvc5
(
cvc5_1.1.1-1_amd64.deb
)
SHA1: dd27a83875d7150a1e9ccd7d79885de7117dd9bf
SHA256: 3500353ea729e0442bb6f51250fffc55ca9afa9b1de5b39770d085bbebcbcba4
Size: 108,620 bytes
SHA1: aa4de5d811c91016bf59ba35a6ecded308f33ca3
SHA256: 93a1eb1772d56d0303a0eca078f88a34bbcafeb447579fbc1ccdeb65a1016262
Size: 1,764,848 bytes
SHA1: 5c57134a5685e80077687f0381408c6b6dff3cb7
SHA256: 543ea2d8a0cdf7afcc4c092e90fb3331d45c990b90e8fee98f7df813ae68a851
Size: 6,295,756 bytes
SHA1: 3658f2a923c1d903f71d9688ddf1347f8db2babd
SHA256: 5e87652f0585dd1ac0a894fdfedd7aea0a0e0bff8bbd7b5588023bc416ca4720
Size: 176,761,072 bytes
SHA1: 4d4a47eb6fdba417f7a861200f0dfdbc5622999e
SHA256: 1451ffea3a430084e330e0646e8b4e419555cc88228d3e49915240f61bc5d368
Size: 79,640 bytes
SHA1: 8b6fb98fba6e9b480eba1adb7290f9075ea9fd84
SHA256: 65c06f7ff240d63e14728e1043aebfc8f32b191d592720c9537bc05dd37d750e
Size: 231,608 bytes
SHA1: 332f0c23d761b22cfc91518225aa3f02191485f2
SHA256: d206ccd7bb501646ff889af7847ef4c6b924780cc5b28af69122db1edf63c77a
Size: 4,009,744 bytes
SHA1: 9a0ab43d789c8878119b0cd1dd25a61a16e494f3
SHA256: 94ed0e04d7c00bf5adfe8c7b0815609211f3dbfd162d53f9a7b01cbade311fb6
Size: 323,836 bytes
SHA1: 42d9b5361c6ccadeaaf151b7b7e297e389da5cf7
SHA256: f460be1a7e9c8c8edb0c589e742566d807b569dbf027b25e2c06bf65c56e1545
Size: 2,557,608 bytes