replace environment with solver

(simpler for the user)