Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Ask Z3 to generate models, in V2 format, when needed | 2011-02-18 | |
| | | | | | Add supported :prover commands Minor fixes | ||
* | Provide /p: as the short form of /proverOpt:. | 2011-02-17 | |
Add /p:O:<name>=<value> and /p:C:<solver-argument> prover options in SMT. Add default Z3 options when using Z3. |