Parallel partial witness generation for LEM's logical arms
arthurpaulino opened this issue · 0 comments
arthurpaulino commented
[Post #1151]
We should parallelize the witness generation for each logical branch in a model and measure the impact on performance.
There may exist a minimum number of logical branches for the benefits to overcome the threading overhead though, so experimentation is welcome.