Index of /LNF/linux/ubuntu/22.04/LNFspass/reloc/bin
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
SPASS 2022-08-14 08:44 697K
dfg2ascii 2022-08-14 08:44 2.9M
dfg2dfg 2022-08-14 08:44 2.9M
dfg2dimacs 2022-08-14 08:44 2.9M
dfg2otter 2022-08-14 08:44 2.9M
![[ ]](/icons/p.gif)
dfg2otter.pl 2022-08-14 08:44 7.2K
dfg2tptp 2022-08-14 08:44 2.9M
dimacs2dfg 2022-08-14 08:44 4.4M
pgen 2022-08-14 08:44 4.5M
prolog2dfg 2022-08-14 08:44 2.9M
rescmp 2022-08-14 08:44 3.0M
tptp2dfg 2022-08-14 08:44 3.0M
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80