Xref: utzoo comp.lsi:812 comp.lsi.cad:252 Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!iuvax!uceng!ranga From: ranga@uceng.UC.EDU (Dr. Ranga R. Vemuri) Newsgroups: comp.lsi,comp.lsi.cad Subject: How to get Boyer-Moore Theorem Prover Message-ID: <2236@uceng.UC.EDU> Date: 27 Sep 89 02:17:53 GMT Followup-To: ranga@uceng.uc.edu Distribution: usa Organization: College of Engg., Univ. of Cincinnati Lines: 6 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.