Using and interfacing with a batched solver.
