GitHub repository: psycopaths/jconstraints-z3
Primary language: Java
Created: 2015-10-20T16:38:52Z
Description: jConstraints abstraction layer for Z3