diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2013-03-06 14:17:43 -0500 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2013-03-06 14:18:43 -0500 |
commit | 9817df56827b4ee0ee67a33361f8619c5d1df6ed (patch) | |
tree | 7b50136f2db6a2ff81c9cbcd97cf35ec7d87e4c4 /src/parser/tptp/tptp.h | |
parent | 44d9a7c29f565dbba0baea3f9df23d6d3e5bd74f (diff) |
Best heuristics for handling decision requests from arrays
Diffstat (limited to 'src/parser/tptp/tptp.h')
0 files changed, 0 insertions, 0 deletions