use solver.executable