org.sosy-lab:java-smt (maven): Unified acccess layer to SMT solvers
Keywords: java|smt|solver