Bug fixes with refactorization
new interfaces integrated with each Solver