WCM_solvers