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.
Added some examples.
All content © 2019 Richard Cook. All rights reserved.