Added solver.ml