Skip to content

Releases: dodaro/cnl2asp

CNL2ASP 1.3.2

07 May 15:24
Compare
Choose a tag to compare
  • Supporting command line usage

CNL2ASP 1.3.1

24 Apr 14:09
Compare
Choose a tag to compare
  • 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

17 Jan 10:52
Compare
Choose a tag to compare

Bug fixing.

CNL2ASP 1.1.2

27 Jan 09:12
Compare
Choose a tag to compare

Bug fixing with negation.

CNL2ASP 1.1.1

20 Jan 09:29
Compare
Choose a tag to compare

Added possibility to add "there is" clauses in positive/negative constraints.

CNL2ASP 1.1.0

17 Jan 07:21
81eaafe
Compare
Choose a tag to compare

New features:

  • Support for min and max aggregates.
  • Support for disjunctive rules.
  • Added explicit definitions and whenever/then clauses.

CNL2ASP 1.0.0

17 Jan 07:08
Compare
Choose a tag to compare

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.