Binary: prover9

Debian packages that has this binary:

Package: prover9

/usr/bin/prover9

Random binary cloud:

babeltrace alpha-linux-gnu-ld.bfd ar cadaver clamsubmit db_printlog mkfs.ext4dev fastasort grib_set gst-typefind-0.10 ibmonitor mongoose parallel fdo25614-genmipmap rosco vimtutor printmaillist h5topng cmalign libjingle-call fwflash mkdtdskel ssl filter_templates ripit shake keytab2shishi xcompmgr xen-delete-image zegrapher