org.sosy-lab:javasmt-solver-mathsat5 (maven): Recompiled Version of the SMT solver Mathsat5 for use in JavaSMT
Keywords: java|smt|solver