Contains a command line launcher for the SAT solvers.