SMT with Z3 from Scratch

2019-01-15

I’m not sure what this is building up to, but another thing on my to-do list is to learn how to use the Z3 theorem prover. This repo is where I’m saving my experiments.

Example (1):

Example (2):

Update (2019-01-17)

Added some examples.

Tags

Z3
SMT
Theorem solvers

All content © 2019 Richard Cook. All rights reserved.