| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-09-05 10:03:12 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-09-05 10:03:12 +0200 |
| commit | a2baff0fd7b88052403cc661253c229acde5e011 (patch) | |
| tree | 865b75cfdfa4cdfc17420e5acdab2b0088f64635 /sol-pretty-printer/Makefile | |
| parent | 58355e0256b075f9ae74e04e52f9ff3b4c191572 (diff) | |
Enables verbose mode.instance-calculator
Apparently, Kodkod gets stuck on the "translating to booleans" part.
Diffstat (limited to 'sol-pretty-printer/Makefile')
0 files changed, 0 insertions, 0 deletions