Nikolaj Bjørner personal blog
Programming the Z3 SMT solver
Abstract. This tutorial provides a programmer ' s introduction to the Satisfiability Modulo Theories Solver Z3. It describes how to use Z3 through scripts, provided in the Python scripting language, and it describes several of the algorithms underlying the decision procedures within Z3. It aims to broadly cover almost…
- Points
- 251
- HN comments
- 53
- Submissions
- 1
- Cited by
- 5 commenters
Software EngineeringTools & Productivity2019
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Feb 6, 2019 | Programming the Z3 SMT solver by pplonski86 | 251 | 53 |
Cited in comments
Linked from 5 Hacker News comments by 5 different people, from Jan 2021 to Jan 2025.
Most recent:
