solver
.rocks
Leaderboard
Live
20 ranked submissions by 5 solvers (last 24hr)
Login
pauldelucia
github.com/pauldelucia
#201
global
Contest results
#37
SNARK Apple Silicon
Ranked #37 · 830.6k · 43 solvers