Use GenuineSolver for computation of models