CVC5: Add parser support#474

daniel-raffler wants to merge 9 commits intomastersosy-lab/java-smt:masterfrom

cvc5-add-parsersosy-lab/java-smt:cvc5-add-parserCopy head branch name to clipboard