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