VIZ
Graphical tool for modeling PDDL domains. This work is originally a student project. Back in 2010 it was presented at KEPS conference (pdf). Technical documentation is available at wiki.
If you find it useful please cite:
@inproceedings{KEPS:2010,
title={Visual design of planning domains},
author={J. Vodr\'{a}\v{z}ka and L. Chrpa},
booktitle={KEPS 2010: Workshop on Knowledge Engineering for Planning and Scheduling},
year={2010}
}
Compilation - Linux
Prerequisities
It is possible to compile VIZ for linux platform with following libraries:
- development kit for Qt 5 (development libraries and qmake - Makefile generator for Qt). You can check this by running
qmake --version
. QT version can be set in current shell using theQT_SELECT
environment variable (e.g.export QT_SELECT=qt5
). - development libraries for the igraph library
You will also need some C++ compiler - reasonable recent gcc
should do well (this howto was tested with version 5.4.0).
Note:
When using Debian based distro, you can obtain all development libraries from repository. e.g.:
$ apt-get install libigraph0-dev qtbase5-dev qt5-qmake build-essential
Compilation process
-
Suppose you cloned VIZ source from GitHub
-
Next step is to create .pro file which is used by qmake for Makefile generation. Run command:
$ qmake -project -o VIZ.pro
this will create file VIZ.pro
- Now you need to alter
VIZ.pro
file. The file should contain these lines at the begining:
TEMPLATE = app
TARGET = VIZ
INCLUDEPATH += .
You need to append include
to INCLUDEPATH
:
INCLUDEPATH += . include
Following lines are to be added (alter the path to igraph libraries according to your system):
QT += xml widgets
INCLUDEPATH += . /YOUR/IGRAPH/SOURCES/include/
LIBS += -ligraph
- Generation of Makefile with qmake is now possible:
$ qmake -makefile
- Now just run make:
$ make
If everything is OK you will have compiled binary named VIZ.
In order to run it, shared library for igraph called libigraph.so
should be available.