If we do decide to continue with Sasquatch, one problem that we need to solve is how we might be able to modularize the solver. It would be nice to allow the solver to work on a larger number of relatively small problems rather than forcing it to work on a single large problem, which might be too large for it to handle reliably.
If we do decide to continue with Sasquatch, one problem that we need to solve is how we might be able to modularize the solver. It would be nice to allow the solver to work on a larger number of relatively small problems rather than forcing it to work on a single large problem, which might be too large for it to handle reliably.