alpha-asp/Alpha

Issues

• Potential vulnerabilities due to libraries.

  #362 opened a year ago by AntoniusWeinzierl
  0

• Add support for unit tests in Alpha's input language

  #237 opened 2 years ago by madmike200590
  3

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

  #357 opened 2 years ago by AntoniusW
  2

• Build broken (Gradle version and JAVA updates)

  #350 opened 2 years ago by AntoniusW
  2

• Upgrade Java Version

  #301 opened 2 years ago by lorenzleutgeb
  8

• Cannot reconstruct substitution with function terms correctly from body-representing atoms

  #352 opened 2 years ago by AntoniusW
  0

• Change SimpleLogger time format

  #346 opened 2 years ago by paulbehofsics
  0

• Partial Compilation

  #345 opened 2 years ago by lorenzleutgeb
  0

• Refactoring: Handle Term interning implementation in a single place

  #343 opened 2 years ago by madmike200590
  0

• IntervalTerms missing from public API

  #324 opened 2 years ago by madmike200590
  0

• Interval rewriting failing on negative integer literals

  #292 opened 2 years ago by madmike200590
  3

• Formatter does not run for `alpha-api`

  #342 opened 2 years ago by lorenzleutgeb
  0

• Same aggregate cannot be used twice

  #340 opened 3 years ago by rtaupe
  0

• Update project documentation

  #328 opened 3 years ago by madmike200590
  0

• Fully support choice rules

  #322 opened 3 years ago by madmike200590
  0

• Lower bound cannot be given after the aggregate

  #311 opened 3 years ago by rtaupe
  1

• Refactor and extend InlineDirectives

  #309 opened 3 years ago by madmike200590
  4

• Answer Set Formatting

  #265 opened 4 years ago by madmike200590
  4

• Validate SystemConfig

  #302 opened 3 years ago by lorenzleutgeb
  1

• CLI Refactoring

  #264 opened 4 years ago by madmike200590
  6

• Refactoring - ensure parser yields correct head types for parsed rules

  #267 opened 3 years ago by madmike200590
  1

• Modularized code quality needs improvement.

  #300 opened 3 years ago by AntoniusW
  8

• Investigate ArrayList for watches

  #305 opened 3 years ago by lorenzleutgeb
  2

• GH Actions: Migrate to Codecov 2

  #306 opened 3 years ago by lorenzleutgeb
  0

• Debug Levels

  #304 opened 3 years ago by lorenzleutgeb
  0

• Handle cross-dependencies in SystemConfiguration

  #303 opened 3 years ago by lorenzleutgeb
  0

• Make Justification Analysis work on BasicAtoms only.

  #232 opened 5 years ago by madmike200590
  0

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

  #246 opened 5 years ago by rtaupe
  1

• Out of Memory Error

  #295 opened 3 years ago by hmqq
  9

• Adapt encodings for binding aggregate literals

  #276 opened 3 years ago by madmike200590
  0

• ASP directive #show

  #294 opened 3 years ago by hmqq
  2

• Flag DebugEnableInternalChecks partially ignored

  #272 opened 3 years ago by AntoniusW
  0

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

  #289 opened 3 years ago by AntoniusW
  4

• IntervalTermRewriting fails on ExternalAtoms

  #277 opened 4 years ago by madmike200590
  1

• alpha UNSAT vs. clingo SAT

  #260 opened 4 years ago by KillerLink
  5

• Grounder accumulator flag ignored

  #271 opened 4 years ago by AntoniusW
  0

• Grounding order calculation fails at recursive rule using external atoms

  #286 opened 4 years ago by madmike200590
  4

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

  #285 opened 4 years ago by jblaszczyk
  2

• Ensure SolverTests are executed with and without Stratified Evaluation enabled

  #275 opened 4 years ago by madmike200590
  0

• PR 207 Bug - Recursive rule evaluation seems to stop too early

  #269 opened 4 years ago by madmike200590
  1

• Write a Manual

  #266 opened 4 years ago by lorenzleutgeb
  0

• Alpha keeps running despite Parser Error

  #259 opened 4 years ago by KillerLink
  2

• Formatting error when printing value for `Overall replayed assignments:`

  #258 opened 4 years ago by KillerLink
  2

• Violated NoGood after backtracking

  #255 opened 4 years ago by rtaupe
  0

• Code smell in DefaultSolver#fixContradiction

  #251 opened 5 years ago by rtaupe
  3

• Alpha mistakenly proves Hanoi instance to be UNSAT on add_simple_completion branch

  #239 opened 5 years ago by rtaupe
  4

• Negation not taken into account for external atoms

  #234 opened 5 years ago by madmike200590
  0

• String-typed ConstantTerms for strings and constant symbols mistakenly equal

  #244 opened 5 years ago by madmike200590
  2

• NoGoods are counted multiple times if they are stored multiple times

  #238 opened 5 years ago by rtaupe
  1

• Justification analysis fails on external atoms on branch stdlib_externals

  #229 opened 5 years ago by madmike200590
  1