Adding command line support for speculative solving.