Binaries
cvc5
(
cvc5_1.0.5-3_amd64.deb
)
SHA1: eff1d983fc73ddc41315e89db3350b48c386c50e
SHA256: 1a0b7d9b105574684d18e4b7cbe53a2a48963e0ebc2f60360fafa9fb5bba8cd2
Size: 99,976 bytes
SHA1: 24c359ba51f3db7bdde7519ab94f34d1710a6765
SHA256: 4d77978868a32e8dea5f0f0646dbf9d951e92de186b9aa0f72e31f3e7f988626
Size: 1,832,932 bytes
SHA1: 5efdb8b050f8982235ae2dfc69a950c98fa47819
SHA256: 883900d1e3077957ef02dc62d13e4f853e3f4bcb6a4f0cb6235e602eea34150c
Size: 5,907,696 bytes
SHA1: 59c867133b130a6cdb9b43d2c5651f04b9e2fff7
SHA256: 1f9b1e566eb1e74944cee590c1b447d0f3500c2b1f9cd476f9fb844bc52abdeb
Size: 170,628,876 bytes
SHA1: 67b8cbcedca45a8e2de2d3791ad409453cf483bc
SHA256: 7f5c960700a0079fc957a31b837a27ed479d764baaeaf591d8b1cc3958599add
Size: 60,640 bytes
SHA1: 017ca4d2c5f4114d2fb988dc0f9c2c8ed70a70b4
SHA256: 6f6e5f39a868912388fe4a1b40400d057d84be7c13344dbcf7448f31a5861f0d
Size: 367,052 bytes
SHA1: 3c36e17a74f711eb973615f2a66344311dce08d2
SHA256: 66339cb8c5193abc5614e256f1007237d043474bf3d8122ca28b31f30ba33614
Size: 6,156,956 bytes
SHA1: 205e7210b81abcb79a5e974384ffc2fd775b206c
SHA256: b6b90896461f3de85005b190ff64b15533a41189591c80e8e05f9082d181af01
Size: 227,056 bytes
SHA1: 1d5ce8a798489857a6e9fa05db70fb421708f9d6
SHA256: 542d3e6e1299194783654ddf693199ddce7890b131bf2034e7c67bddc437c40b
Size: 2,073,664 bytes