Plugins development tutorialΒΆ

This tutorial explains how to develop new plugins for PLASMA Lab (algorithm, checker or simulator). The sources of this tutorial can be downloaded below:

The tutorial projects require the fr.inria.plasmalab.algorithm and fr.inria.plasmalab.workflow libraries of Plasma Lab, as well as the jspf.core library for defining plugins, and the slf4j-api library for logging.

The outline of this section if the following: