search

scipopt / russcip

Rust interface for SCIP
https://crates.io/crates/russcip
Apache License 2.0
37 stars 11 forks source link

call concurrent solver if available, to leverage multiple CPU cores #44

Closed yonch closed 1 year ago

yonch commented 1 year ago

Still missing the ffi bindings for SCIPtpiGetNumThreads, see #43

mmghannam commented 1 year ago

I'm not sure if this is the right way to implement this, this forces users to solve in parallel mode. This might not make sense in many cases, for example in comparing the performance of including some custom SCIP plugin to default SCIP. Maybe it should be two separate functions and the SCIPtpiGetNumThreads can be used to return an error variant if it returns only 1 thread.

mmghannam commented 1 year ago

Closing this PR because due to inactivity, @yonch feel free to reopen once it's ready.