Binary: fof-prover9

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/fof-prover9

Random binary cloud:

openrisc-linux-gnu-objcopy keyrand thin_check gconf-editor dnsq plipconfig openwsmand turba-import-vcards mustache simcrs-config qorder odbcinst ra caterm atsar dsdp5 ebhttpd gsc-cc-o.bat desauto ktikz latex2ps prima-tmlink mutool openambit update-openssh-known-hosts rpc.pl pfsout signalgen systemd-analyze mpy.openmpi