The presence of the flag sets the option, the absence of it implies that it should be off. Note that this is one-shot option setting, there's no way at the moment to modify the options to the solver after you've built it.