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.
Content © 2010–2021 Richard Cook. All rights reserved.