Jconstraints Z3

jConstraints abstraction layer for Z3