Version v8.1.0

Added

• Negative numbers in ASP

Fixed

• getOptimalAnswerSet() function when there are no weak constraints

---

Packages will be added soon

Version v8.0.0

Added

• .NET 5 in C# version
• GitHub Actions to build and test all versions (C#, Java, Python)

Removed

• Tests that no longer work

---

Packages will be added soon

Version v7.5.0

Changed

• The default separator in InputProgram is now the newline character (also known as end-of-line (EOL) or line ending)
• Minor changes in the repositories to improve their structures

Packages will be added soon

Version v7.4.0

Removed

• test-resources folder
  • The test resources have been moved as a submodule in the repository of each language (Java, Python, C#)

Version v7.3.0

Removed

• antlr-grammars folder

Added

• EmbASP-antlr-grammars submodule

Version v7.2.0

Fixed

• Duplicated insertion of the "--t" option in IDLVDesktopService
• Wrong namespace of SymbolicConstant (C# version only)

Version v7.1.0

Added

• Support to the I-DLV engine

Fixed

• Hanging of the solver process due to buffer not being read (Java version)

Version v7.0.0

Added

• New language:
  • Datalog

Version v6.0.0

Added

• New solver:
  • DLVHEX on Desktop
• ANTLR support on Mapper

Removed

• Json-simple library

Version v5.0.0

Added

• CSharp version