GitHub repository: tudo-aqua/jconstraints-z3
Description: jConstraints abstraction layer for Z3