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)