Post MVP, would be nice to let anybody see what the running solver is doing/logging. A simple, raw interface to expose the solver logs would be enough