Implement concrete solvers