4 releases

new 0.152.4 Nov 6, 2024
0.152.3 Oct 31, 2024
0.152.2 Oct 31, 2024
0.152.1 Oct 31, 2024

#754 in Magic Beans

Download history 502/week @ 2024-10-30

502 downloads per month
Used in proof-compression

MIT/Apache

255KB
7K SLoC


CUDA implementation of the fflonk prover

Dependencies

~34MB
~510K SLoC