none

No flags: the solver has only those the theory states, the others are the defaults of their modules