Binaries
cvc4
(
cvc4_1.8-2_arm64.deb
)
SHA1: c2ccd88e4c24a9ae447a2e9e6472c3cc264a2814
SHA256: fb82bdcb23d4a3a90170d99ada6c5e526271e8803754f45b338a6bdaa2dfce36
Size: 76,064 bytes
SHA1: 003c24947c9f506fc35cc3ea0f11858f3c752ca3
SHA256: b9d09c4cddcd44d15c3b00e5d1c63fb0fef3cfb2e9117064e67f43650864f1d6
Size: 994,612 bytes
SHA1: 507ca51254e0583abf3c9261d00cf66e4e8cb823
SHA256: c466fc79179fe663f0de7012753caa63ce6c873c561395d036d4808dc6a64746
Size: 4,939,204 bytes
SHA1: 4d8b1f98542e54ea8e267f0dedf6fa3fc77407b4
SHA256: 3b23d642dd023e0d6b067d475fab525e182b188802c8280017dcfbd4928690a6
Size: 186,194,740 bytes
SHA1: 9f0bd18e1034d66223fc702ce78ec5695cc29e98
SHA256: 8c22ec9bdf90be7c801195352dd490272cd1517a52b3d35c39350f50bf85b555
Size: 131,272 bytes
SHA1: 7be58778243ee9b221142e3a67fde69c2cfc669d
SHA256: 9b269e7c3432190f59edab8828f1c69dabb980db8be75d7494c91a481a8a8198
Size: 325,516 bytes
SHA1: f01b8471c75e75f2ad5cf28aa68d64d95d6c7469
SHA256: 496075a65aee19aa70f99430d667412167648a0cdbee1684e629bd7460fed39b
Size: 5,221,892 bytes