Updated mathsat to new version (additional methods available in API)
Updated mathsat to new version (additional methods available in API)

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