Debug Solver