diff options
| author | Camil Staps | 2017-11-20 13:16:41 +0100 |
|---|---|---|
| committer | Camil Staps | 2017-11-20 13:16:41 +0100 |
| commit | cdc644900683f80daff2d5541610cd1b927c77a2 (patch) | |
| tree | fb8a4bac421d344ce6e94eb3dcb68e5dc77678a5 /assignments/assignment2/LStar_hypothesis1.dot | |
| parent | Made Test.hs for adding properties (diff) | |
Resolve #3: add property for number of kings
Diffstat (limited to 'assignments/assignment2/LStar_hypothesis1.dot')
0 files changed, 0 insertions, 0 deletions