|
|
|
|
|
by jgoldfar0nil
550 days ago
|
|
You may or may not be aware of COIN-OR (https://www.coin-or.org/) which contains multiple projects exploring and implementing OR algorithms with some forms of caching and parallelism. What isn’t clear is how completely any of the COIN-OR projects address your rather interesting question; I’m commenting partly to share if the resource is helpful and partly as a reminder to come back to see what other smart folks here may contribute :-) |
|