GitHub repository: psycopaths/jconstraints-smtinterpol
Primary language: Java
Created: 2015-10-21T23:53:37Z
Description: jConstraints abstraction layer for the SMTInterpol solver