Search results

Answer-Sets missing with negated count-equals aggregate.

bug

Status: Open.

#357 In alpha-asp/Alpha;

· AntoniusW opened on Jan 23, 2023

Partial Compilation

idea

Status: Open.

#345 In alpha-asp/Alpha;

· lorenzleutgeb opened on Sep 2, 2022

Refactoring: Handle Term interning implementation in a single place

code qualityRefactorings and other code-quality-related tasksRefactorings and other code-quality-related tasks

enhancement

good first issue

Status: Open.

#343 In alpha-asp/Alpha;

· madmike200590 opened on Aug 24, 2022

Formatter does not run for <code>alpha-api</code>

Status: Open.

#342 In alpha-asp/Alpha;

· lorenzleutgeb opened on Jul 21, 2022

Same aggregate cannot be used twice

bug

Status: Open.

#340 In alpha-asp/Alpha;

· rtaupe opened on Apr 20, 2022

Update project documentation

Status: Open.

#328 In alpha-asp/Alpha;

· madmike200590 opened on Dec 17, 2021

Fully support choice rules

enhancement

preproc

Status: Open.

#322 In alpha-asp/Alpha;

· madmike200590 opened on Dec 15, 2021

Refactor and extend InlineDirectives

enhancement

idea

Status: Open.

#309 In alpha-asp/Alpha;

· madmike200590 opened on Nov 8, 2021

GH Actions: Migrate to Codecov 2

enhancement

good first issue

Status: Open.

#306 In alpha-asp/Alpha;

· lorenzleutgeb opened on Oct 21, 2021

Investigate ArrayList for watches

Status: Open.

#305 In alpha-asp/Alpha;

· lorenzleutgeb opened on Oct 21, 2021

Debug Levels

enhancement

Status: Open.

#304 In alpha-asp/Alpha;

· lorenzleutgeb opened on Oct 21, 2021

Handle cross-dependencies in SystemConfiguration

enhancement

good first issue

Status: Open.

#303 In alpha-asp/Alpha;

· lorenzleutgeb opened on Oct 21, 2021