Corrected documentation
Moved solver state constatns to solver trait
Removed unused constants and trait