[TUHS] ken's sno soma solver?

[Phil Budne via TUHS]

Matt Day wrote:
> In 2004, dmr said this about V4 "sno":
> > I think writing it was just a quick entertainment for Ken.
> -- https://www.tuhs.org/pipermail/tuhs/2004-June/004210.html

In the archived message Dennis wrote:
> The "application" that has survived is a
> 1-page program that solves the Soma (or Instant Insanity)
> puzzle.

As a snobol(*) enthusiast, I can't help asking (21 years after the
fact), whether the soma solver survives?

(*) I did a port of the original Macro SNOBOL4 to C
[http://www.regressive.org/snobol/csnobol4/], and since I learned on
SNOBOL4, SNOBOL3 has always seemed like alien technology, and I'd
love to see an actual program!