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