Binary: prooftrans

Debian packages that has this binary:

Package: prover9

/usr/bin/prooftrans