pkgs.loginroot.com
Home
Packages
Binaries
Package: prover9-mace4
"
prover9-mace4
" package binaries on
Debian
:
/usr/bin/prover9-mace4
You may install this package on Debian with
apt-get install prover9-mace4