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.