Index of /LNF/linux/ubuntu/18.04/LNFspass/reloc/bin
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
tptp2dfg 2018-05-10 12:50 2.9M
rescmp 2018-05-10 12:50 2.9M
prolog2dfg 2018-05-10 12:50 2.9M
pgen 2018-05-10 12:50 4.6M
dimacs2dfg 2018-05-10 12:50 4.5M
dfg2tptp 2018-05-10 12:50 2.8M
![[ ]](/icons/p.gif)
dfg2otter.pl 2018-05-10 12:50 7.2K
dfg2otter 2018-05-10 12:50 2.8M
dfg2dimacs 2018-05-10 12:50 2.8M
dfg2dfg 2018-05-10 12:50 2.9M
dfg2ascii 2018-05-10 12:50 2.8M
SPASS 2018-05-10 12:50 635K
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80