Worked on GenSolver3.