Binary: fof-prover9

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/fof-prover9

Random binary cloud:

fatsend-g77 fastaexplode fence_cisco_mds fence_ibmblade cvpcb lcg-getturls ncargrun pnmtojbig semodule_deps vina_split courier supermatcher gen-ruby-trans-pkgs img2google indi_lx200basic keystone-manage ldaptor-rename lavaddwav ml-lex mpgtx nmzmerge perlpanel cssparse_py2 lunch alogin mqmdebugout.cpp smtm test-sra stash suricatasc