Binaries
cvc5
(
cvc5_1.0.5-3_amd64.deb
)
SHA1: 3383853774a691bce870a1685e0fbc37d75a531d
SHA256: 35ab41fda7bed635d9efc2e2b5fdf8bbe59479148fe120483f82a75795b8adc3
Size: 99,960 bytes
SHA1: a4ef6e1e46fdbf79c7f175d4c63797669be7dc0b
SHA256: f2e8d784e183fda1bb2f777b0d367cf391e4db3a5a291986a4cede99b2d064ad
Size: 1,834,276 bytes
SHA1: 4a7738fe7e866fa30103fab1af9f1db15b70dc25
SHA256: 40edc27d21dabf454a2e2b41cb9130d013109e04057271d87c067333cef68cc3
Size: 5,907,788 bytes
SHA1: 49e5473ff998bed4a0737e564f8df9f252dacdb8
SHA256: 51d582a0901104c647320554ce832e67771ed535133154d549df7471bb80c981
Size: 170,629,848 bytes
SHA1: 67b8cbcedca45a8e2de2d3791ad409453cf483bc
SHA256: 7f5c960700a0079fc957a31b837a27ed479d764baaeaf591d8b1cc3958599add
Size: 60,640 bytes
SHA1: 3a6708dfdad66e693e0ebec73051a25626534a7d
SHA256: 1c5181c1f5a82f91cd32cf6602d4b11cbba9096e823edd811f90fe11bbd54f61
Size: 366,340 bytes
SHA1: ce2f623a28ba5f0c7134ecfd9c69c55260ae585f
SHA256: 4cd1811795caee1dc14a9a61ce69aa582c7cf5b783d19e4808a3d32501e4e02b
Size: 6,157,060 bytes
SHA1: b66df647ec11deb79f4ad4e922b1354f023707a1
SHA256: 6cad1857bc54697cc21ee8cd06e4c8225331fb117d97e55aa90e356feb4e671e
Size: 228,612 bytes
SHA1: 7e0407f660c0efb59f86052d5043aaa53ae92653
SHA256: 82eb2795bc18a02e5798ba8c32077bcff7aa500b619dd15ee94cef1644fad8ab
Size: 2,073,180 bytes