Add write_sol.
Update README.