diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-09-19 06:31:22 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-19 06:31:22 -0500 |
commit | 324eafcb6d243312e366009d140758c40527db54 (patch) | |
tree | 53da9def29695a4bede0894f57d1ddf86b6e1381 /src/parser/tptp | |
parent | 9fbe73270fc129c71b10d04c28f7cab4866a6a9f (diff) |
Refactor cegqi instantiation infrastructure so that it is more independent of instantiation for LIA. (#1111)
Diffstat (limited to 'src/parser/tptp')
0 files changed, 0 insertions, 0 deletions