Binaries
cvc5
(
cvc5_1.1.2-1_amd64.deb
)
SHA1: 3681d3ba39648b5cfde655c0002b4e6604dbe212
SHA256: bd448d825eb9b301304ac21c4d9eb8424d751b9bbd4e577ef4b276330f34c925
Size: 111,260 bytes
SHA1: e5dd64b1c8301460ee28e8f9a6e508bf28366465
SHA256: cd550621207349d592057acfa8b7e613052f99672109e8e4f3bb9dea9163649c
Size: 1,801,616 bytes
SHA1: 018bf473d2bffa077ae9edde72a46943eaba9f50
SHA256: 8e1c54f852251ac7a1e3a84b5dcff5283688203fda7859538337d61c88097615
Size: 6,381,052 bytes
SHA1: f77dd13c4caec275f0c6c8163e7d44bc7c898920
SHA256: 207c5f40087ad6a528f4e92408022cdd749e4dd648417ff8e5b15f3ef19749dd
Size: 180,667,732 bytes
SHA1: 7d973859819765d4e1cf6a8cbb04536ad03e179b
SHA256: e00c1b8d5cd8c1add8d1ea4a846e03cf4147be9d787d6d1809c653deb578d109
Size: 92,776 bytes
SHA1: 44f33026b6c11348f2f15d65bd1b5743ccc0bf09
SHA256: 1482edaf41f0aa5dc05c5450fec02c7df78bbd321462919c0675a2ec384818ad
Size: 234,776 bytes
SHA1: ec774911f9a1701e6725d113b16322fb23b2805b
SHA256: 77e139d9c10710132cf9821492f7bb803b3646c0a9fa535a987570577a23c776
Size: 4,062,868 bytes
SHA1: c9b6fbe8bc8908f72ff9845e00a7a33c1bc39b0a
SHA256: 07b5ce03d93242429a10f26169ffa4cb3b8e52db5d64d07330bfa5610d95a6f5
Size: 329,084 bytes
SHA1: 8292266cfbd058ce7eb8d08aaaab7f4ee866dcab
SHA256: fb413e9f9200bbfd29d38e52cb5d013a27cca503e8627507b793c3527c7f5da5
Size: 2,587,572 bytes