Binary: mace4

Debian packages that has this binary:

Package: prover9

/usr/bin/mace4

Random binary cloud:

sort fftw-wisdom capiinfo kmk_redirect mp4trackdump mdoc-export-html nopt schemaIDGUID imp-bounce-spam fbo-drawbuffers-arbfp ceph_test_mutate ckport dialyzer faust2graphviewer ts-edit-en d.rast mifare-desfire-ev1-configure-default-key light-locker ompi_info pcl_generate __init__.py splogger quotatool rainbow-resume marc2ris speedtest spfquery.pyspf vdb-decrypt.2 trend TrimmomaticSE