[FEA] Deterministic recursive RINS
Open
@aliceb-nv is already working on this.
Since Jul 16, 2026.
feature request
- Dominant language
- Cuda
- Stars
- 1k
- Forks
- 233
- Avg merge
- 4d 4h
- Merged PRs (30d)
- 95
Description
#1482 implements a recursive RINS. However, it is not deterministic. First, the Papilo presolve calls are based on time limits. Second, the recursive RINS can fire from any best-first worker at any time during a plunge. For the latter, we can use the same scheduling policy as the diving workers, which means that we set which best-first worker can launch new RINS workers statically from the start and we need to decouple RINS from the current node solve (we can do this by using the diving heap).
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.