Add command line options for solver and number of threads