Do not set produce-models option in SMT solver
Merge pull request #90 from chsticksel/develop

Do not set produce-models option in SMT solver