Yices: Add an option to set the logic - #636

Yices: Add an option to set the logic#636

daniel-raffler wants to merge 3 commits into

mastersosy-lab/java-smt:masterfrom

yices-optionssosy-lab/java-smt:yices-optionsCopy head branch name to clipboard