Z3 Fun My best attempt to understand python's Z3 bindings. I've put these together as tests and commented them to show the general idea of each test. Hopefully others find this useful!