Another version of SETL, for UNIX systems only, is available at http://birch.eecs.lehigh.edu/~bacon/download-setl.html See also http://birch.eecs.lehigh.edu/~bacon/ and http://www.CS.NMSU.Edu/~complog/sets/implem.html