Changelog
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