Closed xhajnal closed 4 years ago
now z3_contrainsts and z3_functions are stored separately - the problem arises when saving - hence conversion back to z3 expression would be nice
now z3_contrainsts and z3_functions are stored separately - the problem arises when saving - hence conversion back to z3 expression would be nice