solver
.rocks
Leaderboard
Live
20 ranked submissions by 5 solvers (last 24hr)
Login
sa8
github.com/sa8
#165
global
Contest results
#30
SNARK Apple Silicon
Ranked #30 · 1.0M · 43 solvers