[comp.lsi.cad] 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.