v0.7.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.7.0-bundled.jar or use either the distribution tarball alpha-cli-app-0.7.0.tar or the zip package alpha-cli-app-0.7.0.zip.

If you plan on using (parts of) Alpha as a dependency in your application, the easiest way is to build the respective maven artifacts from the release tag 0.7.0 using ./gradlew publishToMavenLocal. This will install the jar files for all modules of Alpha along with generated pom.xmls to your local maven repository ~/.m2/repository. Once that is done, you can use the Alpha artifacts the same way as any othe maven dependency.

New Features

• Language-level support for unit tests in Alpha (PR #358)
• Metaprogramming: add capability to reify input programs (PR #332)
• Migrate Alpha to Java 11 (PR #315)

Bugfixes

• Get rid of String-encoding of Substitutions in RuleAtoms (Issue #352)
• Fix SimpleLogger time format (Issue #346)
• Fix parser error on negative integers in interval terms (Issue #292)

Code Enhancements and Refactorings

• Fix JaCoCo coverage to calculate coverage across all modules (PR #356)
• ci: Upgrade actions/setup-java (PR #355)
• Upgrade build to Gradle 7.6 (PR #351)
• Add Java 19 as a target for CI builds (PR #349)
• Improve debug output in NoGood (PR #348)
• Link to "A coder's guide to answer set programming" from README.md (PR #344)
• Add interval terms to public API (Issue #324)
• Add ConfWS21 paper to README (PR #339)
• Fine-tune codebeat checks (PR #334)
• Fix vendored path config for benchmark files (PR #333)

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)

v0.5.0

Preview release of the Alpha System.

v0.4.0

Preview release of the Alpha System.

v0.3.0

Preview release of the Alpha System.

v0.2.0

Preview release of the Alpha System.

v0.1.0

Preview release of the Alpha System.