edit Doc on Solver.java
*** TODO rewrite SolverManager.java