org.sosy-lab:javasmt-solver-z3 (maven): SMT solver Z3 for use in JavaSMT
Keywords: java|smt|solver