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