- Tool refactoring, improved tool usability and performance - Support for temporal concept and translations into telingo's input language - Support for ngo optimization and calling the solver - Support for pip installation
1.1.3
Bug fixing.
1.1.2
Bug fixing with negation.
1.1.1
Added possibility to add "there is" clauses in positive/negative constraints.
1.1.0
New features:
- Support for min and max aggregates. - Support for disjunctive rules. - Added explicit definitions and whenever/then clauses.
1.0.0
Available features:
- Automatic translation of CNL to ASP rules. - Support for count and sum aggregates. - Support for normal and choice rules. - Support for weak constraints.