Revision history for logical-constraints

0.1.0.0 -- 2022-12-10

• First version. Released on an unsuspecting world.

0.1.0.1 -- 2022-12-12

• First version revised A. Some minor code improvements. Added some crucial documentation.

0.1.1.0 -- 2022-12-12

• First version revised B. Fixed issues with the probaby empty list in ordCs2Predicate function. Some code improvements.

0.1.2.0 -- 2023-01-11

• First version revised C. Updated the metadata.