Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 4,838 posts.

Any topic
2019
1637

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…