Binaries
cvc5
(
cvc5_1.1.2-2_i386.deb
)
SHA1: e137e6e4053c742750577bcb173f96d82a36b49a
SHA256: f98f049f9b21a90f9e0b6450f6ed6240ef868344fe8c1006f109f4c42e08bbe1
Size: 113,492 bytes
SHA1: 5b17d478aef3fba70fef3eeb70942103ee06895d
SHA256: d66534205debf9d568717855f1657e0fcbb8386acdc20ae8eaa475172373e687
Size: 1,796,336 bytes
SHA1: 677bd1e2da71db341e3c59806741c957111b4aa6
SHA256: 9e005083377e68c1d400aceb9356b9706d014ab5b81c591093dce8903538d331
Size: 7,028,496 bytes
SHA1: e74acaf66749ab40a6818c089110771ba9db7145
SHA256: a2b8c489f33af0fc8c03f04f229c802131a1ec8859960f0f0a100cfcba97923d
Size: 177,219,456 bytes
SHA1: 2e7f11d041b3231cbecd9ebdecd415a17b40b260
SHA256: 4ff08d9674d11a93039ff76079cea0e0ae9ca406b772771a2806fee8272312ed
Size: 92,948 bytes
SHA1: fe8c2ba838400589dfde2fe88903aaa7226c68f6
SHA256: ecacd782ee6fdb9d70fa10609200067365381ef01edae98c40e379675b65231d
Size: 254,100 bytes
SHA1: 9af9988a4e61f9a02c093bf5556d6d4fafc181b4
SHA256: 49af28a56b396d058c57f3abc62bde13d7ba03ca074a37fb3fca2d62fbe047b3
Size: 3,956,864 bytes
SHA1: 536eeafbc1204f0578437bf1aee743f4a91e6c29
SHA256: dc6e1fcba05f450fcbf9015e5f5f7a8d90eca3727802a5f1004c009647e8fca4
Size: 315,780 bytes
SHA1: 1064585c63c46f845fc0d03b78ccbe1fb130658a
SHA256: aee048e9b1cf1aced96adbee11c0f68518549028120dfe3af4e92ea1651fc5b1
Size: 2,470,028 bytes