Changelog

0.7.1

• Re-introduced sut_g to CTLog’s CLI (see The SUT-G Generator).

0.7.0rc1

• (Breaking): CLI Rework.

• (Breaking): BOT-its Algorithms not available in this version.

• (Breaking): The SUT-G Generator not available in this version.

• Add implementations for ReMiCA Algorithm and Weaken-Product Algorithm MCA algorithms.

0.6.1

• Add support for “<”, “>”, “>=”, “<=” constraints in numerical parameters.

• Re-implementation of constraints parsing.

• Add new options in the CLI to encode MCACs into SAT (sat-enc), MaxSAT (maxsat-enc) and to solve a decisional MCAC problem through SAT (sat-mcac).

0.6.0

• (Comming Soon) Expose CTLog’s Python API

• Update OptiLog dependency to >= 0.5.0

• Implement parsing of full ACTS specification

• Expose the Extended ACTS format

• SUT constraints in ACTS and Extended ACTS can now be in non-CNF (thanks to OptiLog’s Modelling module)

• SUT-G generator now outputs SUT models in Extended ACTS format

• Removed the legacy .ctlog format

• Other small fixes and improvements

0.5.0

• First public version of CTLog

• Add CTLog to PyPI