Article View: sci.electronics
Article #18190Re: Is there demand for a boolean eq evaluator?
From: Mike Finegan
Date: Mon, 02 Nov 1987 23:43
Date: Mon, 02 Nov 1987 23:43
15 lines
1445 bytes
1445 bytes
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
Technical Details
Message-ID:
<1268@uccba.UUCP>Path:
arc1-ca.pugleaf.net!utzoo!mnetor!uunet!seismo!sundc!pitstop!sun!amdcad!ames!ptsfa!ihnp4!cbosgd!mandrill!hal!uccba!fineganReferences:
<14401@bu-cs.BU.EDU>Show Full Headers
Complete Article Headers
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: arc1-ca.pugleaf.net!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 ?