Skip to content

No labels!

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

bug
bug
something that is not working
dependencies
dependencies
Pull requests that update a dependency file
enhancement
enhancement
something that improves an already working feature
help wanted
help wanted
request for help to specified people
Priority: High
Priority: High
Priority: Low
Priority: Low
Priority: Med
Priority: Med
question
question
type: design
type: design
design of visualisation, visual elements and UI
Type: Documentation
Type: Documentation
improvements or additions to documentation/Gitbook
Type: Infrastructure
Type: Infrastructure
setup, installation, backend, proxy, etc
Type: Interaction
Type: Interaction
Type: Solver
Type: Solver
solvers, algorithms