Translate Type definitions
As the switch to the new z3 backend allows custom type definitions these need to be translated and passed on to the solver.
-
Translate Type Definitions -
Pass Type Definitions to the solver
Edited by Bennet Bleßmann
As the switch to the new z3 backend allows custom type definitions these need to be translated and passed on to the solver.