Binaries
cvc5
(
cvc5_1.1.2-2_arm64.deb
)
SHA1: b389cfe4ccdd36f21439b63a7700a697db9e69ea
SHA256: 6f71dc6ba7b71db0377d5f7f6bab3c40450befb300d7355c47d2f043fa95ea34
Size: 98,640 bytes
SHA1: bc23bd30e8b108c142d0b7fd36cef6ef968be9e9
SHA256: afece90703c6ef0b4f7a83295ad945e4860d2fcf0e32e9c35bc8c0e4fc9c2033
Size: 1,777,564 bytes
SHA1: f5ba1c82ae8f768fecbeb8adf95a324d80d665c5
SHA256: 6fab42ce8dc00ba556ff77546176f53642d19965284b7a044d0a972cef004f7c
Size: 5,474,064 bytes
SHA1: 74b3b89445a1ef95dc6c9ff3fe219450c8338768
SHA256: 7925f9bc30ad36d9bf1ee699f68c881f04971439229d2943a9254c0e0864c8c0
Size: 177,439,580 bytes
SHA1: e7870899797c8a616d91e9f2f2384a72da63dd5b
SHA256: 643a18d5bb377e81cad4215c37676dbf3dfd8b24967c4f41aa277291ac37e619
Size: 92,960 bytes
SHA1: ea24c8295322444765ce05465394702c640b87d1
SHA256: ac242e2b1c3b97b9b974cdf1b962d20b789e5b0ba263bf49d345db8cb086d280
Size: 205,904 bytes
SHA1: 707c655dbe6ec6d7a720590e5079f01caf9457c9
SHA256: 78bd05789d2d837b4672d885abf6d6237cadf27f4d80a2d36872c8c7ecea6ae4
Size: 3,946,564 bytes
SHA1: b5599c394637853f7d93508b801a793d6130efb4
SHA256: 4ba3362545a516f1c25c5382a09ce7b3bcbd3c1906d7747c36ffac824b9d147e
Size: 297,984 bytes
SHA1: a66da07bf90eb3d20227b61220d645c6b48c656d
SHA256: 4a29b000c8725df2d45422a7a9b1c71247c31211a7a817d23902f10a21c7f1f6
Size: 2,485,148 bytes