Download and Setup

Building from Source

The prototype as used in the paper can be downloaded here.

In order to build the prototype, you will need the following libraries and tools:

  • Linux or WSL (untested)
  • GNU make
  • g++
  • boost C++ libraries and headers
  • The gringo executable needs to be in your path

To start the build process, use the following commands

tar xvf reconfigurator.tar.gz
cd reconfigurator
make -j

This will produce an artifact wasp in the build directory.

Docker Container

We are working on providing the prototype as a Docker container for easy setup. This is a work in progress, so please come back in the future.