Change Log

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