Binary: fof-prover9

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/fof-prover9