DL Visualize v3.0 - Running DLV

On Windows navigate to the folder that DLV is installed in and double click on the dlv.bat file. You may wish to add a shortcut to this file to your desktop.

On Unix machines the command is

$DLV_ROOT/bin/dlv
where $DLV_ROOT is the directory where DLV is installed.