Binaries
cvc5
(
cvc5_1.0.5-3_amd64.deb
)
SHA1: bf5e281649655bf07399c7dad5e21a82dc356d95
SHA256: 5257eedab52ed81a6c0018d11ec90dd02a7b70b5fc9bc23c90b547c03d7b3a2b
Size: 102,860 bytes
SHA1: a7d65f8e549ca1a8482fab1c40170724f71fb0bc
SHA256: 854fecdd4afaed0dc95bf0620ffca338c49a5738bfba35504fc6ac763d6f0b3b
Size: 1,815,108 bytes
SHA1: d51caf150b6bc4d388b382899af8198b747f3959
SHA256: c4d3bcf100ee397b2774e23b62c77b94a7ddd6f12919d38bef320eef6d1be31d
Size: 6,109,508 bytes
SHA1: bfa0648199f1850a3e0fe59a8ae2283c70f3c0d8
SHA256: 2e2424ba6a0894861dc12c0d7b9dc4a1d5f29b7d114c4e0952a5399bc1126d56
Size: 169,822,568 bytes
SHA1: 67b8cbcedca45a8e2de2d3791ad409453cf483bc
SHA256: 7f5c960700a0079fc957a31b837a27ed479d764baaeaf591d8b1cc3958599add
Size: 60,640 bytes
SHA1: a99ee6d48aa9aeac85bb84fbc600b41d00e145b6
SHA256: ca1c9e609152ebacbab7fa58424c10327b2d2a3eebc16abaefb2f0a03524f794
Size: 373,880 bytes
SHA1: 25d90c821b7709ac9da6ad58609cc898063a114a
SHA256: 2a0f411d01d8812842cc5a6ec7ee6ba2c8d6e33d1e7c66bbbacf05507f1b7b3d
Size: 6,162,140 bytes
SHA1: 9e104537315c2a0d7034d958581ff86eae970ee1
SHA256: 569d1a1e8adf22c2113135149cce2248978174349355d06aa39007bc03b35397
Size: 227,600 bytes
SHA1: 2d82dd3dc64b3fac21a73e634efbe0178cb551e7
SHA256: 55b7a337a29cd888492299fe4e952738d8b90b0def8c893d2fe90b286c7ba16c
Size: 2,049,172 bytes