Binaries
cvc5
(
cvc5_1.0.5-3_arm64.deb
)
SHA1: 406552f1a43207e1f23d3a8b153518b633d90819
SHA256: bc965fe25cb934a969512398c41d787976357a8c11a94baa2ad541eb1bd499cb
Size: 91,344 bytes
SHA1: 78945179e5f10fa822a7d9e1153aba57376f0a91
SHA256: c2574aa2ec3091c2297a93a4b9e4a6b9ad1643d10d282b482b53a01f6e0ae461
Size: 1,794,312 bytes
SHA1: 2bcaa4ba1fb3c60a0bcae8515c6053be90f3f465
SHA256: 4c0f9fa5d626182e943915dbe0b33dfd0f98c0f6ab3a292dad0474d4eb22b885
Size: 5,184,880 bytes
SHA1: 23cbf56f99e17aa5fba24c9cb0a9b22d3d4d8f5b
SHA256: 1f65ee4416ececa4fb65d49bfba1b394700a49f18db105825da214899d139298
Size: 166,497,828 bytes
SHA1: 72e8668043828196f9b6b3baef54c9776f25a1d9
SHA256: bd7b55444780f1c9a2203f540ff2176cca2eac7642e51727f517fca786fa8d0c
Size: 60,632 bytes
SHA1: 4bba49e30694c8e375fc60bb972ab7ec8cf536cc
SHA256: fb03b5ccdcc00e259ba6329b06cf9629a2083eb659ea94c50ef989a2ef50af6a
Size: 329,148 bytes
SHA1: 8ada9b94977f3705c6de2b569ddb14fba562d34c
SHA256: 1af38b2638fe4fbe52839130961a17a0e8e7de4b2335b3bbbeb3dbfc8bd9b666
Size: 6,013,220 bytes
SHA1: 86862edc32668d70e5a3d8e4d685e794685a37f9
SHA256: e9af83d6f3a3403020768a9d6c1b7809790a07c8833803137f158440d3053ca7
Size: 199,868 bytes
SHA1: e3a21f07602b1ba6c763caa77ce8e75fdd3f33e8
SHA256: 952cbba9b7590e7b796baed8c72ac6768f0725069cb3a3e87eb5ddac94440b34
Size: 2,013,984 bytes