Parallelize refinement check, quotienting and pruning
Open
enhancement
- Dominant language
- Rust
- Stars
- 4
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
Ensure that all the underlying data structures are thread safe and can be used in a multi-threaded context.
Make use of multi-threading in the refinement check, quotienting and pruning.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by locating the entry points for the refinement check, quotienting, pruning, and their underlying data structures. Determine the required thread-safety guarantees and concurrency boundaries; done means these operations can run multi-threaded without unsafe data races or changed results.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- performance, tooling
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100