Trees solver
✓
undo
restart_alt
redo
Solve
Create
Try
Solution
Solve
undo
restart_alt
redo
Verify