Binary: mace4

Debian packages that has this binary:

Package: prover9

/usr/bin/mace4

Random binary cloud:

apbs-dxmath dpkg-distaddfile euare-grouplistusers xmlmerge unoapploader mlpack_hmm_train ntfsundelete rcc-qt5 rhevsh sing sjislatex tuboexec varnishtest vglconnect apt-cache cp2k etandem ferret_c utf8 gcj-wrapper-4.9 runghc-7.6.3 gnome-maps init-select kalign pmt-fd0ssh netread disjoint_union_adj pg_archivecleanup shntool vcdxrip