Started Solver.scala.