Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!seismo!sundc!pitstop!sun!amdcad!ames!ptsfa!ihnp4!cbosgd!mandrill!hal!uccba!finegan
From: finegan@uccba.UUCP (Mike Finegan)
Newsgroups: sci.electronics
Subject: Re: Is there demand for a boolean eq evaluator?
Message-ID: <1268@uccba.UUCP>
Date: Mon, 2-Nov-87 18:43:17 EST
Article-I.D.: uccba.1268
Posted: Mon Nov  2 18:43:17 1987
Date-Received: Sat, 7-Nov-87 04:23:05 EST
References: <14401@bu-cs.BU.EDU>
Organization: Univ of Cincinnati, College of Business Admin.
Lines: 15
Summary: I'm interested, have you heard of cadtools ?

In article <14401@bu-cs.BU.EDU>, acm@bu-cs.BU.EDU (ACM) writes:
> 
> If I get around to it I may also build an expression simplifier --
> make sure the supplied expression is the most reduced one possible.
> Depends on if I have time.
> 
 Cadtools (Berkeley) contains espresso & eqntott, the first does 
minimization (near optimal - you may be able to pull some sleight of hand),
the second creates a truth table from the equations, I believe that is
the input to espresso. They are unix compatible - I don't think they
require unix, though. I am sure that they are copyrighted, but I don't
think they cost a lot (if at all for educational). We used them in a finite
automata class. Maybe your program could use similar format ? Anyhow, I 
am interested.
			..!{hal,pyramid,mit-eddie,decuac)!uccba!finegan