DL Visualize v2.5 - Upgrading from v2.4
Since v2.5 is based on a new version of AVS/Express you need to
download the full package and update by
- Rename the existing DLV installation directory, e.g. rename dlv to dlv.old
(If you a running a license server it should be stopped, and can
be removed)
- Follow the installation instructions and
unpack the new distribution into a directory with the same name as
used by the old version of DLV. When editing the
$DLV_ROOT/bin/dlv or $DLV_ROOT\dlv.bat file
you can use the same settings for most variables that are used in the
old version.