Update solver.rs

Documenting some ideas I had on the train into work...