Changelog of @hackage/hasmtlib 1.3.1

Changelog

All notable changes to the hasmtlib library will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to PVP versioning.

v1.3.1 (2024-07-12)

Added

  • Added count in Language.Hasmtlib.Counting

v1.3.0 (2024-07-12)

Added

  • Added cardinality constraints with Language.Hasmtlib.Counting

v1.2.0 (2024-07-11)

Added

  • Added n-ary comparisons distinct & equal

Changed

  • (breaking change) When using interactiveWith the SMTOption Incremental is no longer set by default anymore

v1.1.2 (2024-07-02)

Changed

  • Minor internal changes

v1.1.1 (2024-06-25)

Added

  • Added this CHANGELOG.md file

v1.1.0 (2024-06-21)

Added

  • Added ArraySort and full support for its SMTLib2 standard specification