DL Visualize v2.5 - Running DLV

To execute DLV you need to know where the program is installed ($DLV_ROOT).

On Unix machines the command is

$DLV_ROOT/bin/dlv
A knowledgable user should be able to install the command on the windows menu or the toolbar of a Unix CDE (Motif) system.

On Windows use

$DLV_ROOT\dlv
You can create a shortcut on the desktop or add the command to the Start menu. You may need to increase the default environment space for the batch file (use the properties menu for the file icon, and select the memory tab).