Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Minor changes | Valentin Wüstholz | 2015-11-19 |
* | Improve experimental support for optimization (requires Z3 changeset 5948013b... | Valentin Wüstholz | 2015-11-18 |
* | Add experimental support for optimization (requires Z3 build after changeset ... | Valentin Wüstholz | 2015-11-18 |