Extract SMT support into a different representation.
Closed this issue · 0 comments
alcides commented
SMT introduces overheads when not using SMT-based meta-handlers.
- How much overhead: measure
We could:
- Create a new Representation that extends Tree-based.
- Move SMT functions to within this new Representation.