Package: prover9

"prover9" package binaries on Debian:

/usr/bin/interpformat /usr/bin/isofilter0 /usr/bin/isofilter2 /usr/bin/isofilter /usr/bin/mace4 /usr/bin/prooftrans /usr/bin/prover9

You may install this package on Debian with apt-get install prover9