8 releases

new 0.152.8 Nov 22, 2024
0.152.7 Nov 20, 2024
0.152.3 Oct 31, 2024

#204 in Magic Beans

Download history 159/week @ 2024-10-25 478/week @ 2024-11-01 132/week @ 2024-11-08 403/week @ 2024-11-15

1,172 downloads per month
Used in proof-compression

MIT/Apache

255KB
7K SLoC


CUDA implementation of the fflonk prover

Dependencies

~34MB
~510K SLoC