Implement argument mode to deploy solvers, fix smti problem generator