LeventErkok/sbv — pull request #44 by arrowdodger (2012-04-19 17:59:58+00:00)
Title: Call set-option before set-logic.

Hi. According to http://goedel.cs.uiowa.edu/smtlib/papers/smt-lib-reference-v2.0-r10.12.21.pdf , page 64 (set-option :produce-models true) can't be called after (set-logic) call. My patch fixes this.