You may or may not be aware of COIN-OR (https://www.coin-or.org/ https://www.coin-or.org/) which contains multiple projects exploring and implementing OR algori

You may or may not be aware of COIN-OR (https://www.coin-or.org/ 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 :-)