Skip to content

No labels!

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

bug
bug
Something isn't working
dependencies
dependencies
Pull requests that update a dependency file
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
experimental project
experimental project
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
idea
idea
My original idea
invalid
invalid
This doesn't seem right
new scheme
new scheme
import some idea on papers
parameter tuning
parameter tuning
combinational optimization based on benchmark suits
question
question
Further information is requested
suspended
suspended
Its priority was reduced for now
type system
type system
Changes on types for safety or generality
wontfix
wontfix
This will not be worked on
wrong target
wrong target