Skip to content

No labels!

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

20 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
1
c-api
c-api
dependencies
dependencies
Pull requests that update a dependency file
4
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
encodings
encodings
Related to encodings
3
enhancement
enhancement
New feature or request
3
github_actions
github_actions
Pull requests that update GitHub Actions code
good first issue
good first issue
Good for newcomers
heavy-tests
heavy-tests
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
python-api
python-api
1
question
question
Further information is requested
release
release
1
rust
rust
Pull requests that update Rust code
solvers/cadical
solvers/cadical
solvers/kissat
solvers/kissat
solvers
solvers
Related to solver interfaces
4
wontfix
wontfix
This will not be worked on