home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / theory / 2415 < prev    next >
Encoding:
Internet Message Format  |  1992-11-14  |  1.2 KB
  1. Xref: sparky comp.theory:2415 sci.math:14941 comp.ai:4278 comp.lang.lisp:2878
  2. Newsgroups: comp.theory,sci.math,comp.ai,comp.lang.lisp
  3. Path: sparky!uunet!ferkel.ucsb.edu!taco!gatech!emory!wupost!cs.utexas.edu!sun-barr!ames!ads.com!chesapeake.ads.com!chesapeake!chyde
  4. From: chyde@pecos.ads.com (Clinton Hyde)
  5. Subject: Re: Satisfiability Program Available, lisp.
  6. In-Reply-To: pehoushe@CS.Stanford.EDU's message of 8 Nov 92 15:16:43 GMT
  7. Message-ID: <CHYDE.92Nov13141932@pecos.ads.com>
  8. Lines: 16
  9. Sender: usenet@chesapeake.ads.com (USENET News)
  10. Organization: Advanced Decision Systems, Mountain View, CA 94043, +1 (415)
  11.     960-7300
  12. References: <hinrich.720966751@aia004>
  13.     <1992Nov8.151643.23107@CSD-NewsHost.Stanford.EDU>
  14. Date: Fri, 13 Nov 1992 19:19:32 GMT
  15.  
  16.  
  17. rather than post it, how about putting it into one of the Lisp
  18. libraries, like Mark K's ?
  19.  
  20. on same subject, couldn't we get coordinated about the various lisp
  21. libraries around the US/world, and achieve one standard one with
  22. shadows on various continents?
  23.  
  24.  -- clint
  25. --
  26.  
  27. Clint Hyde        "Give me a LispM or give me death!" -- anonymous
  28.  
  29. Advanced Decision Systems/BAH    Internet:  chyde@chesapeake.ads.com
  30. 1953 Gallows Rd, Suite 600
  31. Vienna, VA  22182-3934        (703) 902-7130
  32.