| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-05-26 15:01:02 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-05-26 15:01:02 +0200 |
| commit | 150c8550a2f2b136179ad16275eb4eaff96c74f4 (patch) | |
| tree | bdc5f8c86bf8ea04395e2dfb9b5ce44ce0813e23 /Makefile | |
| parent | e97d74cc9035c37a0d8c27c0544324e6a7436f0e (diff) | |
Converts HaStABeL formulas into IDP formulas.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions