Labels

• Blocked

  Blocked

  Rule prerequisite not met: source or target not implemented

• bug

  bug

  Something isn't working

• Discussion

  Discussion

  Need some human feedback and expert validation.

• documentation

  documentation

  Improvements or additions to documentation

• enhancement

  enhancement

  New feature or request

• Good

  Good

  An issue passed all checks.

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• incompatible

  incompatible

  Incompatible with dims() discrete finite-domain framework

• Incomplete

  Incomplete

  Reduction doesn't cover all source instances (Rule Check 5)

• low priority

  low priority

  wait, wait, wait, do I really need this?

• MissingInfo

  MissingInfo

• model

  model

  A model problem to be implemented.

• NeedsOriginalPaper

  NeedsOriginalPaper

  Issue requires consulting the original paper (paywalled/unavailable)

• PoorWritten

  PoorWritten

• PSPACE

  PSPACE

  PSPACE-complete problem, out of scope for NP-hard reductions

• rule

  rule

  A new reduction rule to be added.

• Trivial

  Trivial

• Useless

  Useless

• Wrong

  Wrong