solver
.rocks
Leaderboard
Live
20 ranked submissions by 5 solvers (last 24hr)
Login
bermota
github.com/bermota
#133
global
Contest results
#22
SNARK Apple Silicon
Ranked #22 · 1.5M · 43 solvers