Labels · shnarazk/splr

bug

Something isn't working

Pull requests that update a dependency file

This issue or pull request already exists

New feature or request

Good for newcomers

Extra attention is needed

idea

My original idea

invalid

This doesn't seem right

import some idea on papers

combinational optimization based on benchmark suits

question

Further information is requested

Its priority was reduced for now

Changes on types for safety or generality

wontfix

This will not be worked on

Provide feedback