[comp.lsi] How to get Boyer-Moore Theorem Prover

ranga@uceng.UC.EDU (Dr. Ranga R. Vemuri) (09/27/89)

Can someone tell me how to get the Boyer-Moore Theorem prover which
can be used for hardware verification ?  Someone told me it is available
via. ftp.  

Ranga.