Labels

• bug

  Something isn't working
• database

  Anything about knowledge database
• documentation

  Improvements or additions to documentation
• enhancement

  New feature or request
• frontend

  Issues with site face
• question

  Further information is requested
• solver

  Issues with solving algorithms
• wontfix

  This will not be worked on