NestedHexPlugin ===============

This file provides some hints how to install and run the nestedhex plugin for dlvhex.

You want to build and install from source

dlvhex uses the standard

$ ./configure

approach for installation.

This is dlvhex-nestedhexplugin, a plugin for `dlvhex’.

Dependencies

boost

If you have compiled boost by yourself, you have to tell the configure script where you have installed it with

$ ./configure –with-boost=/path/to/boost-prefix