v0.6.0

[madmike200590]

Alpha v0.6.0 Release Notes

Binary Artifacts

If you want to use Alpha as a command-line application, download the bundled jar file: alpha-cli-app-0.6.0-bundled.jar or use either the distribution tarball alpha-cli-app-0.6.0.tar or the zip package alpha-cli-app-0.6.0.zip.

If you plan on using Alpha as a dependency in your application, you can download and use the respective module jar files,
or build them yourself from the tag v0.6.0.

New Features

• Full Aggregate Support (PR Full aggregate support #268)
• Partial up-front evaluation of stratifiable program parts (PR Partial up-front evaluation of stratifiable program parts - issue #75 #207, Issue Optimization: Evaluate input program partially. #75)
• API Overhaul and Code Modularization (PR Modules #274)
• Enhanced rewriting of arithmetic terms (PR Arithmetic term rewriter #263, Issues alpha UNSAT vs. clingo SAT #260, Enable Arithmetics #89)
• Command Line Interface - Make separator string for atoms within printed answer set configurable (PR Command Line Interface - Make separator string for atoms within printed answer set configurable #262)
• AnswerSetQuery: API feature to query answer sets in a fluent way (PR AnswerSetQuery: API feature to query answer sets in a fluent way #287)

Bugfixes

• Lower bound cannot be given after the aggregate (Issue Lower bound cannot be given after the aggregate #311)
• Make TrailAssignment#replayCounter a long to avoid overflows (Issue Formatting error when printing value for Overall replayed assignments: #258)
• Alpha mistakenly proves Graph Colouring instance to be UNSAT (Issue Alpha mistakenly proves Graph Colouring instance to be UNSAT on phase_saving_and_restarts branch #211)
• Grounder accumulator flag ignored (Issue Grounder accumulator flag ignored #271)
• IntervalTermRewriting fails on ExternalAtoms (Issue IntervalTermRewriting fails on ExternalAtoms #277)
• Fix javadoc error in Unifier (Issue Javadoc errors #193)

Code Enhancements and Refactorings

• cli: Logging via SLF4J SimpleLogger (PR cli: Logging via SLF4J SimpleLogger #323)
• gradle: 7.0 -> 7.3 (PR gradle: 7.0 -> 7.3 #310)
• Refactor DefaultSolver (PR Refactor DefaultSolver #297)
• ci: Migrate to GitHub Actions (PR ci: Migrate to GitHub Actions #296)
• Upgrade tests to use JUnit5 (PR Upgrade tests to use JUnit5 #291)
• Ensure regression test cases are run with and without StratifiedEvaluation enabled (PR Ensure regression test cases are run with and without StratifiedEvaluation enabled #278)
• Substitution lazy cloning (PR Substitution lazy cloning #270)
• Introduce ProgramPartParser to simplify construction of parts of programs (PR Introduce ProgramPartParser to simplify construction of parts of programs #248)
• Modularize grounder implementation (PR NaiveGrounder Refactoring - Modularize bindNextAtomInRule #256)
• Improve code quality of DefaultSolver a bit (PR Improve code quality of DefaultSolver a bit. #254)

---

This discussion was created from the release v0.6.0.