Solver and tutorial part of Afsaneh's thesis