Labels

Labels

• CI/CD

  CI/CD

  Pipelines configurations and deployment

• Core

  Core

  Related to chop-logic-core library

• Docs

  Docs

  Improvements or additions to documentation

• Propositional

  Propositional

  A feature for the propositional logic module

• Refactoring

  Refactoring

  Rewrite a part of the codebase to improve the code quality

• Spike

  Spike

  Invesigation task

• Tests

  Tests

  Adding or improving tests