z3-generate-api A tool to generate Haskell wrappers around the Z3 C API. An example of how to run after building: cd api/4.5.0 ../../dist/build/z3-generate-api/z3-generate-api --yaml api.yml