The current version of JavaSMT actually depends on MathSAT 5.3.8, which already was the latest version of MathSAT in CPAchecker when JavaSMT got extracted.
The current version of JavaSMT actually depends on MathSAT 5.3.8,
which already was the latest version of MathSAT in CPAchecker
when JavaSMT got extracted.

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt