Labels

• Blocked

  Rule prerequisite not met: source or target not implemented
• bug

  Something isn't working
• Discussion

  Need some human feedback and expert validation.
• documentation

  Improvements or additions to documentation
• enhancement

  New feature or request
• Good

  An issue passed all checks.
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• incompatible

  Incompatible with dims() discrete finite-domain framework
• low priority

  wait, wait, wait, do I really need this?
• MissingInfo
• model

  A model problem to be implemented.
• NeedsOriginalPaper

  Issue requires consulting the original paper (paywalled/unavailable)
• PoorWritten
• PSPACE

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

  A new reduction rule to be added.
• Trivial
• Useless
• Wrong