GitHub repository: tudo-aqua/jconstraints
Primary language: SMT
Description: A constraint solver abstraction layer for Java