GitHub repository: sosy-lab/java-smt
Primary language: Java
Description: JavaSMT - Unified Java API for SMT solvers.