Hacker News new | ask | show | jobs
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 :-)