diff options
| author | Camil Staps | 2018-07-06 14:55:23 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-07-06 14:55:23 +0200 |
| commit | 16ab2568f8bd784d2426eaac0214549146cfa561 (patch) | |
| tree | 292bccbd382cb7b31aced1b6cb409d32adaa0855 /Assignment2/src/Expression.dcl | |
| parent | Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking (diff) | |
Add minimization goals (not supported by Z3)
Diffstat (limited to 'Assignment2/src/Expression.dcl')
0 files changed, 0 insertions, 0 deletions