This is Screamer, ported to CLISP.
To compile it using CLISP, just execute

    clisp -q -c screamer
    clisp -q -i screamer -c iterate
    clisp -q -i screamer -i iterate -c screams
    clisp -q -i screamer -i iterate -c primordial
    clisp -q -i screamer -i iterate -c equations

On Unix, you can just type

    make

instead.

To load a specific example ("screams" or "primordial" or "equations"), use

    clisp -i screamer -i iterate
    > (load "example")


Bruno Haible
<haible@ma2s2.mathematik.uni-karlsruhe.de>
