- 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.