Change Log

0.1.1 -- 2017-09-06

• 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.0.5 -- 2017-08-29

• Extracting variables occurring in expression

0.1.0.4 -- 2017-08-25

• Foldable with sort index
• Traversable with sort index

0.1.0.3 -- 2017-07-11

• Expression substitution

0.1.0.2 -- 2017-05-26

• Equality of expressions

0.1.0.1 -- 2017-05-24

• Parsing

0.1.0.0 -- 2017-05-23

• Sorted Expressions à la Carte