620 smtlib2 parser tokenizer wrongly rejects set logic commands and has a non helpful error message for parse for 1 items#621

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

620-smtlib2-parser-tokenizer-wrongly-rejects-set-logic-commands-and-has-a-non-helpful-error-message-for-parse-for-1-itemssosy-lab/java-smt:620-smtlib2-parser-tokenizer-wrongly-rejects-set-logic-commands-and-has-a-non-helpful-error-message-for-parse-for-1-itemsCopy head branch name to clipboard