Adjusting the QP encoding to deal with quantification over finite types#666

marcoeilers merged 7 commits into

masterviperproject/silicon:masterfrom

meilers_qp_finite_domainsviperproject/silicon:meilers_qp_finite_domainsCopy head branch name to clipboard