Support Z3
Merge pull request #3 from jeroenk/z3

Support Z3