1.0.0
 - update to clingo release 5.7.1
0.0.11
 - bugfixes and better domain computation
0.0.10
 - add projection trait
 - bugfixes
0.0.9:
 - simplified logging, also usable via API of python logging class
 - extend most simplifications to optimize constraints
0.0.8:
 - added inline trait
 - normalize program first
0.0.7:
 - remove equality trait, is now included in math trait
 - cleanup now removes constant booleans (#true, #false)
 - improved input predicate detection
 - add API
 - add documentation
0.0.6:
 - add default options without duplication trait
 - translate symmetries to counting aggregate if possible
 - improve cleanup trait
 - improve unused trait
 - auto detect output predicates
 - refactor main loop
0.0.5:
 - add sum_chains trait
 - set log output to info by default
 - fix error in symmetry trait
 - improve symmetry trait
 - fix bug with anonymous variables in aggregate replacement
 - fix bug in minmax_chains
 - implement math simplification trait
0.0.4:
 - bugfixes
 - allow any length conditions in aggregates for summinmax_chains trait
 - renamed summinmax_chains to minmax_chains
 - added bounded minmax translation into minmax_chains trait
0.0.3:
 - add unused trait
0.0.2:
 - https://test.pypi.org/ packages available
0.0.1:
 - initial commit and refactoring
 - adds equality trait
 - adds summinmax_chains trait
 - add symmetry trait
 - add duplication trait
 - add cleanup trait
