added documentation to solver.py and removed debug-prints