solver
.rocks
Leaderboard
Live
20 ranked submissions by 5 solvers (last 24hr)
Login
georgwiese
github.com/georgwiese
#91
global
Contest results
#9
SNARK Apple Silicon
Ranked #9 · 1.8M · 43 solvers