• (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


  • First public version of CTLog

  • Add CTLog to PyPI