diff options
| author | Erin van der Veen | 2018-07-06 13:15:59 +0200 |
|---|---|---|
| committer | Erin van der Veen | 2018-07-06 13:15:59 +0200 |
| commit | 9159f498443877a337dcba3c135b82c1537c8031 (patch) | |
| tree | ffd3269ca13cd189eaad7cba7e6b5ea1db47a4f8 /Assignment2/src/Z3.icl | |
| parent | Allow more powerfull properties by allowing operators (diff) | |
Allow multiple properties
Diffstat (limited to 'Assignment2/src/Z3.icl')
0 files changed, 0 insertions, 0 deletions