Skip to content

No labels!

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

35 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
area::ci
area::ci
Related to CI, coverage, Github, etc.
3
area::conjure-oxide/ast
area::conjure-oxide/ast
Related to conjure_core and ast representation.
5
area::conjure-oxide/rule-engine
area::conjure-oxide/rule-engine
Related to the rule engine and the expression rewriting logic.
4
area::conjure-oxide
area::conjure-oxide
Related to conjure_oxide.
14
area::logging-stats
area::logging-stats
Related to logging and getting statistics out of Conjure Oxide
2
area::minion
area::minion
Related to minion_rs, the minion C++ bindings, and the minion solver interface.
9
area::parsing
area::parsing
Related to essence / essence prime parsing
3
area::rules
area::rules
Related to rewrite rules
3
area::sat
area::sat
Related to SAT rules, SAT solvers and the KisSAT solver interface.
3
area::solvers/chuffed
area::solvers/chuffed
Related to chuffed_rs and the chuffed solver interface.
dependencies::python
dependencies::python
Automated pull requests that update Python code.
dependencies::rust
dependencies::rust
Automated pull requests that update Rust code.
1
dependencies::submodules
dependencies::submodules
Automated pull requests that update submodules.
dependencies
dependencies
Automated pull requests that update dependencies.
1
github_actions
github_actions
Pull requests that update GitHub Actions code
good first issue
good first issue
Good for newcomers
4
help wanted
help wanted
Extra attention is needed
kind::bug
kind::bug
Something isn't working
2
kind::build-failure
kind::build-failure
The build is broken!
kind::discussion
kind::discussion
General discussion and high-level planning.
7
kind::documentation
kind::documentation
Improvements or additions to documentation
1
kind::feature
kind::feature
New feature or request
13
kind::question
kind::question
2
kind::refactor
kind::refactor
Improvements to existing code (style, performance, clarity, ...)
5
kind::testing
kind::testing
Testing and Correctness
8
kind::tracking
kind::tracking
This issue tracks the progress of a larger feature
1
kind::UX
kind::UX
CLI / User interface improvements
2
planned
planned
9
priority::next
priority::next
We need this next.
priority::soon
priority::soon
We'll need this soon, or other features may be blocked.