Contain a command line launcher for the SAT solvers.