Skip to content

Tags: alpha-asp/Alpha

Tags

0.7.0

Toggle 0.7.0's commit message
[Gradle Release Plugin] - creating tag: '0.7.0'.

v0.6.0

Toggle v0.6.0's commit message
release: version to 0.6.0

v0.5.0

Toggle v0.5.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #250 from alpha-asp/fix_239

Fix issue #239

v0.4.0

Toggle v0.4.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #184 from alpha-asp/vsids_default

Make VSIDS the default branching heuristic.

v0.3.0

Toggle v0.3.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #145 from alpha-asp/fix_144

Fix: Avoid duplicate work in ChoicePoint.recomputeActive

v0.2.0

Toggle v0.2.0's commit message
Fixing ConflictCause construction in ArrayAssignment, adding related …

…solver test.

v0.1.0

Toggle v0.1.0's commit message
Revert "Set up release plugin"

This reverts commit 9390372. Was a
bad idea.