Binaries
cvc5
(
cvc5_1.0.5-2_arm64.deb
)
SHA1: 27447ce5d60d4778327e01af8e4915acf9d4e576
SHA256: b08c5be6b31cb26618ae8d8017dd4d8064cae285e3aac1d51cb60a68aeb1a947
Size: 88,188 bytes
SHA1: e394ed92986f727db71afc5cd9622186f7aa0646
SHA256: 977b0e7663a6ae60eeaf404f958462c736d0d5d61858a4cc88d8edb574883c96
Size: 1,799,892 bytes
SHA1: 226c273255ba54e99618a7126dcd5d96ff103f53
SHA256: 277f9c7e0f1f867a2331a0e366565b3e91da7d6c90e42120e30a0ba30a854259
Size: 4,986,480 bytes
SHA1: 6e847722c44bb0bf5c4439a273509bbe33ffa499
SHA256: 811631137313a30c63d65b5ce6780c6c654d64e5bf4f541d86266e7d90a3cfd0
Size: 166,862,032 bytes
SHA1: 2c308c447dba468412e01fa69802818d87b21781
SHA256: 91350b5079919933af8ead7213b1342401c216f704a6582376770872a2f2fa1f
Size: 60,620 bytes
SHA1: e8d2201dc525c76ba8fabd41efb34241a339954a
SHA256: 3a7c10220288042f57d98e14ec6ab04e977f72f40d09ff0fdb1c9b8073c1b231
Size: 319,652 bytes
SHA1: aebd56bbdb81fcb348ad7b3fdd6373516e07e675
SHA256: ea48a3cf58bf82a27407677ae5bfb8a17802df44c811bfe4965e1a1af45aff43
Size: 5,963,296 bytes
SHA1: c76307f92d16812ccc030f74b01ca188c6680346
SHA256: 61d61f282b732812ad6d34bf58b5f9f8567f9526972d84fe3c13361da9b8a61f
Size: 199,152 bytes
SHA1: 28be74ea8bf96d361851e9ad735e795594a4d90d
SHA256: 709e26d995b7c02caa6bdfa2f366204647b4cbadd58d6a10423520247f3c5c9c
Size: 2,020,604 bytes