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.