- 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