SMT Solving on an iPhone | Dark Hacker News