diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-12 12:58:40 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-12 12:58:40 +0100 |
| commit | 227e4609bba9969cb7f39e52715fa62cf93cbfbf (patch) | |
| tree | 79041ebefd7ff2763179309955d47484002b647c /data | |
| parent | 6532db6a2cc9131e8039bd0c0e53190cc30b3599 (diff) | |
| download | ACQuA-227e4609bba9969cb7f39e52715fa62cf93cbfbf.tar.gz ACQuA-227e4609bba9969cb7f39e52715fa62cf93cbfbf.zip | |
Add initial implementation of ACQuA reasoner
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions