Added additional solver, using an infinite generator