expressions v0.1.3 Release Notes
-
- Extracting variables occurring in expression
- 🆓 Distinguish quantifier-free expressions
- Convert to negation normal form
- Convert to prenex form
- Convert to flat form (select and store have only variables or constants as arguments)
- Replace store with an instance of its axiomatization