| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-05-24 19:29:38 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-05-24 19:29:38 +0200 |
| commit | 83209cfb6fc20a43c5f23694abdc63e5deb22385 (patch) | |
| tree | 8858ee220a2134ad80e652eb8cb2a5343e31e412 /Makefile | |
| parent | f49763c94d5a109d9cc63e5e8b22eb7cd28149af (diff) | |
Adds Graphs to First Order logic.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions