New argument for QBF builder: solver parameters.