Index of /LNF/i386/5.11/LNFz3/reloc/share/doc/z3/examples/tptp

 Name                                              Last modified      Size  Description
 Parent Directory                                                       -   
 README                                            2015-10-05 14:07  626   
 tptp5.cpp                                         2015-10-05 14:07   80K  
 tptp5.h                                           2015-10-05 14:07  1.1K  
 tptp5.lex.cpp                                     2015-10-05 14:07   67K  
 tptp5.tab.c                                       2015-10-05 14:07  162K  
 tptp5.tab.h                                       2015-10-05 14:07  3.8K

Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80