cleaning up the solver, added support for duplicates WS interface