Optimize sqlite mode for the solver.