Find Z3 within PATH env#818

marcoeilers merged 3 commits into

viperproject:masterviperproject/silicon:masterfrom

manud99:find-z3-within-path-envmanud99/silicon:find-z3-within-path-envCopy head branch name to clipboard