Binaries
cvc4
(
cvc4_1.8-2_armhf.deb
)
SHA1: 90da332efa87b560649a6bd7cb9a7fd83f734821
SHA256: fafd5ede9eedbadfe82bf3502d62f0bc9e267625f801b30a3845de071e628774
Size: 75,652 bytes
SHA1: f19914f4e3ef3e560ea2b685ffa1b242903d3c3c
SHA256: 55f9ab92376e9c19aa1a0a334439e84e9f1d1ee5210ca770a1d6207621c5f3a2
Size: 972,336 bytes
SHA1: 46d4b7eaf0ee88985fa76a7256cc18281763723f
SHA256: b120a50085bd2d863cf8e5c44f421357bb17381a05112e33be9e6ae9800032a8
Size: 4,989,728 bytes
SHA1: bdf3387045437fdfee356f4fccb404eceecd922c
SHA256: e6b5a562ccb47025a35fdedcdaa99162a157eba27f6f66dc1ec745c47b5398f2
Size: 180,439,968 bytes
SHA1: 893ab43c6d54461746ee03e35804c2ef384d2ef8
SHA256: 54e8f4796d4ef13e0fc27703343743aea3b0bda3d35561ca81912091847d21fc
Size: 131,256 bytes
SHA1: 25b3a985c7a27e7c4ee49de69ec844d9c80e32de
SHA256: e608231d018463594419184fad58b5a7e41a91d4e0c078c326671edfb7a422d6
Size: 328,140 bytes
SHA1: e94e8533633f14a2767715a56b0df285ee7fadf7
SHA256: 24d20bf5e29d4e24242c3744411af734e8dce992b79543735c2b11d96a2b8bd7
Size: 4,998,544 bytes