Skip to content

No labels!

There aren’t any labels for this repository quite yet.

For:binding
For:binding
The issue is related to bindings (python binding)
For:devops
For:devops
The issue is related to devops (github actions, compilation, documentation, etc.)
For:library
For:library
The issue is related to library (c++ implementation)
Module:afa
Module:afa
The issue is related to Alternating Finite Automata
Module:nfa
Module:nfa
The issue is related to Nondeterministic Finite Automata
Priority:high
Priority:high
Focus on this before the others.
Priority:low
Priority:low
Work on this only when there is nothing else to do.
Priority:normal
Priority:normal
Work on this sooner rather than later.
Status:in_progress
Status:in_progress
The issue is currently being solved by someone
Type:bug
Type:bug
A bug or an issue in implementation or performance
Type:discussion
Type:discussion
A discussion of some particular topic in wider audience
Type:required
Type:required
A required implementation/change necessary in near future
Type:suggestion
Type:suggestion
A suggestion for feature/change that is not necessary at this moment