Succinct Solvers