Binaries
cvc5
(
cvc5_1.0.5-3_arm64.deb
)
SHA1: 71cbc89525af9665f9ffdf07af53e5e4f660be49
SHA256: e526940c54daae9c1032b4630da6a774d40e16d6ee780efcd4ea73dc67b2caf6
Size: 90,860 bytes
SHA1: 58e2da8e28efc6fbc6d5d6536ad0789bda75b8d8
SHA256: cc1ec89b06ad7534ba80593fc1c1c5e0d94769c893e901af2e91da026f9a8d67
Size: 1,792,916 bytes
SHA1: 0a9676d69a45a93a8a99eb5f4141c4954afd6220
SHA256: f607e66288c935fe381561c94449684db63ae40b254b89dd63f783419090eab0
Size: 5,184,116 bytes
SHA1: 4e000dfe9230557fd1970a9438658e3dff8761a4
SHA256: 69e80143cf25e56ce0ef8e21e7c9b2448aa9cf27dca29958216e44775d8d427a
Size: 166,325,420 bytes
SHA1: 72e8668043828196f9b6b3baef54c9776f25a1d9
SHA256: bd7b55444780f1c9a2203f540ff2176cca2eac7642e51727f517fca786fa8d0c
Size: 60,632 bytes
SHA1: de2d41882076c7ce70513d2e8e2256c8ae2ab64f
SHA256: 3947af852fdbf132d4514735ef0e6b5abd795dedeed7048b91eda9ff6a59049a
Size: 328,380 bytes
SHA1: df53392331a89a390c0b1c30c8f0feea6e028195
SHA256: deda9ca067d22f44fe23b6f557ea84581cf3e5e6d2ea5e33027fcfe0c1a79759
Size: 5,993,288 bytes
SHA1: 71dc27541427143f0374a6ae5abb0e6402e66c91
SHA256: 88c9d01f28f95bacc5474d6491d7b7e402e00e3a72e73a0d4b52c1e339ba8184
Size: 199,568 bytes
SHA1: feee959caa73006a6d88f9d70b0bf22e1a3c674b
SHA256: 4448d5e4b7a693e763ba3611e2d0a5bb37f6050d04db3b9eb726ffcb4f4cbfad
Size: 2,005,576 bytes