James Bornholt personal blog
SMT Solving on an iPhone (2018)
Why buy an expensive desktop computer when your iPhone is a faster SMT solver?
- Points
- 224
- HN comments
- 149
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringSystems & Performance2020
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 9, 2020 | SMT Solving on an iPhone (2018) by marcobambini | 224 | 149 |
