All Versions
15
Latest Version
0.5
Avg Release Cycle
-
Latest Release
-

Changelog History
Page 2

  • v0.1.4 Changes

    • ⬆️ Bump dependencies

  • v0.1.3 Changes

    • 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

  • v0.1.2 Changes

    • Foldable with sort index
    • Traversable with sort index

  • v0.1.1 Changes

    • 📜 Parsing
    • Equality of expressions
    • Expression substitution

  • v0.1.0 Changes

    • Sorted Expressions à la Carte