Change Log
0.4.1
- Allow a wide range of dynamically sorted values (not just expressions)
- Utility for extracting array accesses
0.3.1
- Utility for extracting constants from expressions
0.3
0.2
- Add
embed
and restrict
to convert between expression languages
0.1.9
0.1.8
0.1.7
- Added simple utility function
toDynamicallySorted
0.1.6
0.1.5
- Bump dependencies, fix equality, tweak readme
0.1.4
0.1.3
- 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
0.1.2
- Foldable with sort index
- Traversable with sort index
0.1.1
- Parsing
- Equality of expressions
- Expression substitution
0.1.0
- Sorted Expressions à la Carte