Releases: dodaro/cnl2asp
Releases · dodaro/cnl2asp
CNL2ASP 1.3.2
- Supporting command line usage
CNL2ASP 1.3.1
- 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
CNL2ASP 1.1.3
Bug fixing.
CNL2ASP 1.1.2
Bug fixing with negation.
CNL2ASP 1.1.1
Added possibility to add "there is" clauses in positive/negative constraints.
CNL2ASP 1.1.0
New features:
- Support for min and max aggregates.
- Support for disjunctive rules.
- Added explicit definitions and whenever/then clauses.
CNL2ASP 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.