Screamer is fairly portable across most Common Lisp implementations. Screamer is known to run under the following Common Lisp implementations:
Genera 8.1.1 and 8.3 on Symbolics 36xx and Ivory. Lucid 4.0.2 and 4.1 on Sun SPARC. Lucid 4.1 on SGI MIPS. Lucid 4.1 on HP PA. Lucid 4.1 on DEC MIPS. Lucid 4.0.1 on IBM RS/6000. MCL 2.0 and 2.0p2 on Apple Macintosh. Harlequin 3.0.3+ on Sun SPARC. Allegro 4.1 and 4.2 on Sun SPARC and SGI MIPS. Allegro 4.1 on DEC MIPS. Poplog 14.2 on Sun SPARC. AKCL 1.605 and 1.615 on Sun SPARC. CMU Common Lisp 17b on Sun SPARC.It should run under any implementation of Common Lisp that is compliant with CLtL2 and with minor revision could be made to run under implementations compliant with CLtL1 or dpANS.
Note that for Lucid 4.0.2/SPARC you might want to load the patch mbmfe.sbin and for Lucid 4.1/SPARC you might want to load the patch bug-6920 (bug-6920-non-dbcs.sbin or bug-6920-dbcs.sbin as appropriate). Also note that with Lucid 4.1/HP you must load the patch file bug-5511.hbin. Also note that with Lucid 4.1/DEC you must load the patch file bug-5511.mbin. Also note that MCL requires patch level 2. If you have only MCL 2.0 without any patches or only patch level 1 you must first load the patch not-so-trivial-patch.fasl.
Note that it may take a long time to compile Screamer (i.e. 1.5 hours using the Lucid production compiler on a Sun SPARCstation 2).