Corrected github URLs, added undo mode in solve.py