Labels

• bug

  Something isn't working
• documentation

  Improvements or additions to documentation
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• low priority

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

  A model problem to be implemented.
• rule

  A new reduction rule to be added.