Pharo FFI bindings for the https://github.com/Z3Prover/z3 library
# pharo-z3 Pharo FFI bindings for the https://github.com/Z3Prover/z3 library