Remove the Solver of wycs