XELUDO is an X window system oriented application. It was developed with the MIT Consortium X Window System Version 11 Release 5 (X11R5), and expects a compliant windowing environment.
The lower configuration (Sparc w/ 8Mbytes of RAM) will allow ELUDO to be used, the execution being slow at times. But there is currently no precise information on memory requirements, or execution profiling. XELUDO requires more memory as the simulation session advances and as the specification gets larger. The execution of the symbolic tree may reach the limits of your system.
The program is built statically, so there is no particular library needed.
We have tried to make the interface independent of the window manager.
A C compiler is necessary to compile the front-end of the translator with the paths of its new home. The command to build the front-end of the translator is generated using make (and a provided Makefile).