Solvers now find ALL solutions to a problem