Binaries
cvc5
(
cvc5_1.1.1-1_arm64.deb
)
SHA1: 4b7f19d656d8c0c5da32b1ee86bf265f153425e4
SHA256: 312fe7805ccd370320585aaa939c0e8c3fbcffaa13393a7dc96588efc7900dde
Size: 96,540 bytes
SHA1: 58e4d5f9130d382b30aba57b4c1e9055e91eabc6
SHA256: ae6d1164077fcb2fe10eb13fdc89ffe0b0b88c060ee8cd20c337bcf0179c5c5b
Size: 1,739,940 bytes
SHA1: 81439927acf146bddb027796eb0450a816f873ec
SHA256: 5b0c570e05274e3d61e38733ae86646a5af7bca0cf92b6dad8fd433982c35a6b
Size: 5,351,256 bytes
SHA1: c38c1f76bb321857e724176006eba056275c4672
SHA256: c954c4b56dccf52ee81240a8e47cd41c0fe518f73d967007245ec547aab8aae0
Size: 173,298,240 bytes
SHA1: e373ca714f6ccc3701036bc2a39be81e8885a8b1
SHA256: c0d7b265ad617b1d90806efa4a96496d7dc8b409cc44cf2f299315fd7b1a0823
Size: 79,636 bytes
SHA1: 535f8746eb59760e4ba44e60fb271cd51ecbe101
SHA256: 58856e4c0d8f01f4c7fe784a59a6cc9b9438d3af69130c4005dd78dd92d0313a
Size: 204,024 bytes
SHA1: e5accf520a29780a0fb668f85d45b300a86363aa
SHA256: aeb261cfd8562b6682d0b88056a7ec24db73779ce27afd0aea85cc14b21722c0
Size: 3,896,136 bytes
SHA1: 84f43c6afdc1939f482ea83cbd5c4447c572157a
SHA256: 121a392d16e7670543e757329ff78a7292600f0d2606ad6128a412e58c1cca6f
Size: 293,612 bytes
SHA1: e3eceb7b00c33075ddfbca6f8595f0638aee44e5
SHA256: 2512922910ba6a5324383d4601dc384463343a4115cd6776b2b47897c4bc7baf
Size: 2,492,224 bytes