Update solver's description and goals. #2

Closed michael-veksler closed 1 year ago