microarchitect Karma 1,202 Created 15 years ago Recent Submissions 1. ▲ Using SMT Solvers to Analyze the Premier League Table (spramod.info) 56 points · 10 years ago · 4 comments All submissions on HN · View profile on HN