Labels

• bug

  Something isn't working
• contribution

  Contributions to Tarski
• design
• discussion
• documentation

  Something to know about
• duplicate

  This issue or pull request already exists
• enhancement

  Enhances existing features
• feature request

  A request for something new
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• in-the-freezer

  Might be worth discussing again in the future....
• invalid

  This doesn't seem right
• parsing
• PDDL2.1
• question

  Further information is requested
• Task

  In progress tasks
• third-party

  Cause by a third-party dependency
• wontfix

  This will not be worked on