SMT solver options: keep defaults if not set
Merge pull request #94 from chsticksel/develop

SMT solver options: keep defaults if not set