Binary: mace4

Debian packages that has this binary:

Package: prover9

/usr/bin/mace4

Random binary cloud:

dbench dspam_clean v.build.polylines lockname perfquery findchip vboxcnvt mpif90 vp-bad-program pilot-file rndr pstex2eps catstomp xrdp-sessvc test ranlib checkbox mount.dapfs ff-c++ dtemacs r.surf.idw v.net.components llvm-config nowhere ns pdfchain python2.7-dbg swgen lmove xorp_fib2mrib