gentoo.mahdi.cz

  

unknown:eqp


This is a theorem prover for equational logic.
http://www.mcs.anl.gov/AR/eqp/

eqp-09eUnknown, you can download the sources though.
download~amd64bgo
eqp-0.9d
download~x86bgo