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