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 #268)
• Partial up-front evaluation of stratifiable program parts (PR #207, Issue #75)
• API Overhaul and Code Modularization (PR #274)
• Enhanced rewriting of arithmetic terms (PR #263, Issues #260, #89)
• Command Line Interface - Make separator string for atoms within printed answer set configurable (PR #262)
• AnswerSetQuery: API feature to query answer sets in a fluent way (PR #287)

Bugfixes

• Lower bound cannot be given after the aggregate (Issue #311)
• Make TrailAssignment#replayCounter a long to avoid overflows (Issue #258)
• Alpha mistakenly proves Graph Colouring instance to be UNSAT (Issue #211)
• Grounder accumulator flag ignored (Issue #271)
• IntervalTermRewriting fails on ExternalAtoms (Issue #277)
• Fix javadoc error in Unifier (Issue #193)

Code Enhancements and Refactorings

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