Binaries
cvc5
(
cvc5_1.0.5-3_arm64.deb
)
SHA1: f2c959e3051c2ba70358923c8c6b764117284cab
SHA256: 956f56f4f3f7a6cd9c02d9a34a9fc41e4f390035f6c54c0913ceafff1f0b24fd
Size: 87,988 bytes
SHA1: 49d17958063874ea849df9ff72cb47323b1685d7
SHA256: dafcc8310c836f0db6cbc6b82bd18504be7fef8b27f90fe0d17c69a9f4463e8e
Size: 1,800,520 bytes
SHA1: 8e6fc37a08b84e42f51218376be8edd422c31544
SHA256: 05b7dba174ed9a95547decb34c97ac4aff7646a390d6d81418f4129b77076d2e
Size: 4,985,740 bytes
SHA1: 8beb3ab9419f491bfb56fe4d00cf2c0a522dc433
SHA256: 1b608ff3deb2d58590fa7df189f1134e6035914b86a829de40a536d8cdc944a2
Size: 166,872,600 bytes
SHA1: 72e8668043828196f9b6b3baef54c9776f25a1d9
SHA256: bd7b55444780f1c9a2203f540ff2176cca2eac7642e51727f517fca786fa8d0c
Size: 60,632 bytes
SHA1: 4e42c1cf8085d1e57e8dd565a9524a5cc5bc6941
SHA256: ae311c707b718f7c9779d0c93b57bb7f37b0e4285202426dfcc7149f96cc5a34
Size: 319,456 bytes
SHA1: 45aef6e154b0e38120a20383291e427bfe1327f6
SHA256: 527a80ff1259e5b73b2bae7f4bd6a67d64b3a76c621645c43d3e96d2835a3a17
Size: 5,962,236 bytes
SHA1: a7080e783f65122f0915ad06db56d0f75e5bf8e9
SHA256: 1e24fcfd73c0b0bbbe190d102312594689f47c74e80e576188a68b3c5488ef72
Size: 199,168 bytes
SHA1: eb36c2f372ac4710dbbdb04344e7bdd6f2158744
SHA256: 54e998c1f27eb744a894f7ef4a22070a3e0575eaff461835ce76de6c80fcc58c
Size: 2,021,248 bytes