James Bornholt personal blog
SMT Solving on an iPhone
Why buy an expensive desktop computer when your iPhone is a faster SMT solver?
- Points
- 174
- HN comments
- 35
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringTools & Productivity2018
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Nov 5, 2018 | SMT Solving on an iPhone by sidereal | 174 | 35 |
