Solver and tutorial part of Mahdi's thesis