Add SolverException for Model and Prover due to MathSAT5/Z3 Model Problem (Including a Sneaky Throw for API not Supporting Changes)#501

baierd wants to merge 19 commits intomastersosy-lab/java-smt:masterfrom

481-mathsat5-returns-null-for-msat_model_create_iteratorsosy-lab/java-smt:481-mathsat5-returns-null-for-msat_model_create_iteratorCopy head branch name to clipboard