P7-kode

A work-in-progress distributed fleet management system. Uses Webots as simulation back-end and UPPAAL Stratego for the routing part of fleet management.

Dependencies

Depends on jsoncpp for JSON writing and parsing, and Webots for simulation. Only tested on MacOS/Linux.

Build instructions

We use CMake >= 3.10. Sample usage:

$ mkdir build
$ cd build
$ cmake ..
$ make

After this, the executables can be found in build/bin.