Binaries
cvc5
(
cvc5_1.1.2-2_i386.deb
)
SHA1: 084fd7c7b5924031803431f2ddaaf02d9a2ec0e6
SHA256: 1d0488cb0c817fb51a0aed7a1961dd64ce10f269cbd22c8f32140758ae5f0f5d
Size: 113,612 bytes
SHA1: 0bca257a601aa44df91678745eb81339daa0f03a
SHA256: 5e07571e8f6835641b0cee3d09efea0ffa985b3be4b2c367fc67f488e219180d
Size: 1,795,980 bytes
SHA1: 150cfba72e37cbb3e356cb884fa6bb7c7e731843
SHA256: 7c09aa5981c3078dca56554fd3a1340a42a8dec6abac71df3803fb65fc7415da
Size: 7,031,788 bytes
SHA1: b5ac0b445b4a646847a334287eedb6ba3e7a3d16
SHA256: e5f2056f08ebc9e536dd081bd21cb2f63b4c6c69e2196dc7dbb0fc1fedc83e76
Size: 177,219,068 bytes
SHA1: 2e7f11d041b3231cbecd9ebdecd415a17b40b260
SHA256: 4ff08d9674d11a93039ff76079cea0e0ae9ca406b772771a2806fee8272312ed
Size: 92,948 bytes
SHA1: 855c8364f5610610d4129a18fb8bb3607a4186f0
SHA256: 308d9f3a8dd5e3dd82c669eae9374e91273fb07f029be7d4227eff1d5f1dc94b
Size: 253,920 bytes
SHA1: ae3a2eb0cf012e52423565205ee90c549c27002e
SHA256: 4af562548a6d2ad578a88199f787dff61a7583e7ab95eba5d0d0ca095eb0bad2
Size: 3,957,160 bytes
SHA1: 4baca5848ef29dc477bf79062f4abcc2c1d429a8
SHA256: 839caf25ebe69579a437833d4a79e1b7bc193d2529cf622924a3789ea45d1d23
Size: 315,392 bytes
SHA1: c6ddf7d7dc84d8bc564c20122381af204856d4a1
SHA256: 05e80b64ccb1a9ace80d0185aa5b01539b68f4d15e500fc7dcacfecd54288648
Size: 2,469,856 bytes