Logica Changelog¶ ↑

All notable changes to this project will be documented in this file. This project adheres to Semantic Versioning.

Unreleased¶ ↑

• Your contribution here!

0.0.3 (2017-07-02)¶ ↑

• Fixed fallback to disjunction in AtLeast compounds

0.0.2 (2017-06-24)¶ ↑

• Fixed detection of some trivial simplifications of compounds

0.0.1 (2017-06-20)¶ ↑

• Initial release