Issues

• Directive to mock external atoms

  enhancementgood first issueidea
  Feature

  alpha-asp/Alpha#365 · Filter by author madmike200590 opened on May 22, 2026

• Answer-Sets missing with negated count-equals aggregate.

  bug
  alpha-asp/Alpha#357 · Filter by author AntoniusW opened on Jan 23, 2023
  2

  

• Partial Compilation

  idea
  alpha-asp/Alpha#345 · Filter by author lorenzleutgeb opened on Sep 2, 2022

• Refactoring: Handle Term interning implementation in a single place

  code qualityenhancementgood first issue
  alpha-asp/Alpha#343 · Filter by author madmike200590 opened on Aug 24, 2022

• Formatter does not run for alpha-api

  alpha-asp/Alpha#342 · Filter by author lorenzleutgeb opened on Jul 21, 2022
  

• Same aggregate cannot be used twice

  bug
  alpha-asp/Alpha#340 · Filter by author rtaupe opened on Apr 20, 2022
  

• Update project documentation

  alpha-asp/Alpha#328 · Filter by author madmike200590 opened on Dec 17, 2021
  

• Fully support choice rules

  enhancementpreproc
  alpha-asp/Alpha#322 · Filter by author madmike200590 opened on Dec 15, 2021

• Refactor and extend InlineDirectives

  enhancementidea
  alpha-asp/Alpha#309 · Filter by author madmike200590 opened on Nov 8, 2021
  4

• GH Actions: Migrate to Codecov 2

  enhancementgood first issue
  alpha-asp/Alpha#306 · Filter by author lorenzleutgeb opened on Oct 21, 2021

• Investigate ArrayList for watches

  alpha-asp/Alpha#305 · Filter by author lorenzleutgeb opened on Oct 21, 2021
  2

• Debug Levels

  enhancement
  alpha-asp/Alpha#304 · Filter by author lorenzleutgeb opened on Oct 21, 2021

• Handle cross-dependencies in SystemConfiguration

  enhancementgood first issue
  alpha-asp/Alpha#303 · Filter by author lorenzleutgeb opened on Oct 21, 2021

• Validate SystemConfig

  enhancementgood first issue
  alpha-asp/Alpha#302 · Filter by author lorenzleutgeb opened on Oct 21, 2021
  1

• Modularized code quality needs improvement.

  code quality
  alpha-asp/Alpha#300 · Filter by author AntoniusW opened on Oct 15, 2021
  8

• Undefined arithmetics throws exception instead of ignoring the ground instance.

  bugenhancementquestion
  alpha-asp/Alpha#289 · Filter by author AntoniusW opened on May 17, 2021
  4

• Grounding order calculation fails at recursive rule using external atoms

  enhancementgrounder
  alpha-asp/Alpha#286 · Filter by author madmike200590 opened on Mar 29, 2021
  4

• Introduce a way to tag Rules, Predicates, Atoms and Terms

  alpha-asp/Alpha#285 · Filter by author jblaszczyk opened on Mar 26, 2021
  2

• Write a Manual

  enhancement
  alpha-asp/Alpha#266 · Filter by author lorenzleutgeb opened on Aug 12, 2020

• Answer Set Formatting

  clienhancementgood first issue
  alpha-asp/Alpha#265 · Filter by author madmike200590 opened on Aug 6, 2020
  4

• CLI Refactoring

  clienhancementgood first issue
  alpha-asp/Alpha#264 · Filter by author madmike200590 opened on Aug 6, 2020
  6

• Alpha keeps running despite Parser Error

  bugpreproc
  alpha-asp/Alpha#259 · Filter by author KillerLink opened on Jul 9, 2020
  2

• Violated NoGood after backtracking

  alpha-asp/Alpha#255 · Filter by author rtaupe opened on May 26, 2020

• Code smell in DefaultSolver#fixContradiction

  bug
  alpha-asp/Alpha#251 · Filter by author rtaupe opened on May 6, 2020
  3

  

• AnalyzeUnjustified#rulesHeadUnifyingWith contains an instanceof that can never be true

  bugcode quality
  alpha-asp/Alpha#246 · Filter by author rtaupe opened on Apr 8, 2020
  1