Uniform interfaces for solver optimization
Correct comments
Add a mechanism to optimize Pro SaDE