home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / logic / 1230 next >
Encoding:
Text File  |  1992-07-20  |  661 b   |  16 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!usc!wupost!darwin.sura.net!jvnc.net!yale.edu!ira.uka.de!chx400!bernina!news
  3. From: schweizer@tik.ethz.ch (schweizer)
  4. Subject: Minimisation of boolean functions
  5. Message-ID: <1992Jul21.143529.12532@bernina.ethz.ch>
  6. Keywords: Quine McCluskey, Prolog
  7. Sender: news@bernina.ethz.ch (USENET News System)
  8. Organization: ETH Zurich, Switzerland
  9. Date: Tue, 21 Jul 1992 14:35:29 GMT
  10. Lines: 4
  11.  
  12. I'm looking for an available implementation of Quine/McCluskey's minimization
  13. algorithm for boolean functions written in AAIS Prolog on a Macintosh Computer.
  14. Every pointer to such a program source would be greatly appretiated.
  15. Thank you!  
  16.