Vale
Vale copied to clipboard
Tech debt: write some nice documentation for Solver + SolverState