Labels

• CI/CD

  Pipelines configurations and deployment
• Core

  Related to chop-logic-core library
• Docs

  Improvements or additions to documentation
• Propositional

  A feature for the propositional logic module
• Refactoring

  Rewrite a part of the codebase to improve the code quality
• Spike

  Invesigation task
• Tests

  Adding or improving tests