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
• low priority

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

  A model problem to be implemented.
• PoorWritten
• rule

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