Re: New version of Quicksat

Wed, 3 Sep 97 18:39:51 PDT

In case some newcomers are wondering where to get Quicksat, I should
have mentioned it's available at:

or follow the links from Mike's home page at:

The ZIP file is 153K.  It runs under MS/DOS.  A Linux version is
available, and Mike can make Unix versions for many workstations,
(at least that's what the doc says).

P.S.  I shouldn't have included my throw-away line at the end
of my last note about 'all is right with the world'.  I hope
some UK readers didn't take offense.  I didn't mean to imply that
I'm oblivious to the sorrow resulting from the Paris tragedy.

Craig Cholar