Index of /LNF/linux/ubuntu/16.04/LNFspass/reloc/bin
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
SPASS 2018-05-10 09:03 629K
dfg2ascii 2018-05-10 09:03 2.6M
dfg2dfg 2018-05-10 09:03 2.6M
dfg2dimacs 2018-05-10 09:03 2.6M
dfg2otter 2018-05-10 09:03 2.6M
![[ ]](/icons/p.gif)
dfg2otter.pl 2018-05-10 09:03 7.2K
dfg2tptp 2018-05-10 09:03 2.6M
dimacs2dfg 2018-05-10 09:03 4.2M
pgen 2018-05-10 09:03 4.3M
prolog2dfg 2018-05-10 09:03 2.6M
rescmp 2018-05-10 09:03 2.7M
tptp2dfg 2018-05-10 09:03 2.7M
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80