QF_BV context delegates (#453): config/param selection, incremental state, assumptions, and delegate regressions#607

disteph merged 15 commits into

masterSRI-CSL/yices2:masterfrom

context_delegatesSRI-CSL/yices2:context_delegatesCopy head branch name to clipboard