Binary: mace4

Debian packages that has this binary:

Package: prover9

/usr/bin/mace4

Random binary cloud:

dfbtest_mirror rfrm freeze m32r-linux-gnu-cpp gl-admin-push gnome-power-bugreport.sh tripplite pyrsa-keygen dbfinfo indextool listres zarafa-archiver ario ceph_test_rados_list_parallel plotchangelog atlasquery gnome-split frag6 ladvd combineMUMs read-package-json.js pg_virtualenv sz80 scancel svn-all-fast-export swipl-rc tabble view3dscene imfill xxkb