gentoo.mahdi.cz
unknown
:eqp
This is a theorem prover for equational logic.
http://www.mcs.anl.gov/AR/eqp/
eqp-09e
Unknown, you can download the sources though.
download
~amd64
bgo
eqp-0.9d
download
~x86
bgo