3 releases
| new 0.152.3 | Oct 31, 2024 |
|---|---|
| 0.152.2 | Oct 31, 2024 |
| 0.152.1 | Oct 31, 2024 |
#169 in Magic Beans
329 downloads per month
Used in proof-compression
255KB
7K
SLoC
CUDA implementation of the fflonk prover
Dependencies
~34MB
~531K SLoC
| new 0.152.3 | Oct 31, 2024 |
|---|---|
| 0.152.2 | Oct 31, 2024 |
| 0.152.1 | Oct 31, 2024 |
#169 in Magic Beans
329 downloads per month
Used in proof-compression
255KB
7K
SLoC
CUDA implementation of the fflonk prover
~34MB
~531K SLoC