diff options
| author |  MichalMoskal <unknown> | 2011-02-11 19:38:00 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-02-11 19:38:00 +0000 |
| commit | 4760c55b4a09e4b11039e9537371a98f657d7704 (patch) | |
| tree | 088536468e33d19829d25a86c56f57b460c1d402 /Test/test2 | |
| parent | afb3de0ebf0539a89f2073a74f76bd811bee06c0 (diff) | |
Add USE_PREDICATES option to TPTP and SMT provers
Diffstat (limited to 'Test/test2')
0 files changed, 0 insertions, 0 deletions