diff options
author | 2011-02-18 22:05:26 +0000 | |
---|---|---|
committer | 2011-02-18 22:05:26 +0000 | |
commit | 2c6cf724d62c22362bfba6aeef73cd7d105e0c24 (patch) | |
tree | 842e2d23f56a210335a4c51f94ebbb4dda7ef09d /Source/Model | |
parent | cdc6249dde1ee1153e1831380c3003af0b1cb9bc (diff) |
Ask Z3 to generate models, in V2 format, when needed
Add supported :prover commands
Minor fixes
Diffstat (limited to 'Source/Model')
0 files changed, 0 insertions, 0 deletions