solver
.rocks
Leaderboard
Live
20 ranked submissions by 5 solvers (last 24hr)
Login
pepyakin
github.com/pepyakin
#169
global
Contest results
#31
SNARK Apple Silicon
Ranked #31 · 951.8k · 43 solvers