Add Scala SolverRunner.