Binaries
cvc5
(
cvc5_1.0.3-1_amd64.deb
)
SHA1: 31f4ba7867fed9d7bc26c51444cd9ee9e94195e6
SHA256: cda8f2010d720cc9678c4a767cc20ae2158c8ef9332d4f9f6abf68f624b7d0cb
Size: 107,572 bytes
SHA1: a0aa356c740d2321f1087a3b6858329cae38cbef
SHA256: 87a70bd9a86acd2bd725a079a20d2eb659b2ac99aee42e130d775bf4e5f58242
Size: 2,544,004 bytes
SHA1: 53af209e7b9bd6be66468035605870b3a80e40ab
SHA256: 7ae9b6d716f8005a6a4094a03511b3f1bedb59da50cf7045c73f1a5c88840bec
Size: 5,844,588 bytes
SHA1: 0398832affa1db9a176ebda5ae3c70cc0ed9025b
SHA256: 27f3d3e9345336dd976a50b02f497287e8e9315de8998f593760e805dee91894
Size: 169,513,320 bytes
SHA1: bd6c85c710c0a11fed4b6e56e7a2eec7d8bacb3a
SHA256: 4fe154341f1e0f7627360e0a13ae594d29a03fe7eb51e0f30f1cb0cee3021149
Size: 58,584 bytes
SHA1: 66f6d906923836b72b48eee11ea922d29fc36976
SHA256: 4de36e15d973b23040f5807b950f69aefd14040c5c8de58ba9fd3bb92694c180
Size: 306,764 bytes
SHA1: 438f46b3a56b881e0b3c07ebd667aec4c2394431
SHA256: c3a11447e62eb5da6adaeae1e696d945b492a176d32e59649c5dd563cb2c8008
Size: 5,027,816 bytes