added standard main() to Solver.java