Installation

To use the LoTLan-Scheduler you can simply install it via the Pip package installer. A link to pyi can be found here.

You can also visit our Github page and build the project yourself.

You also need to have the dot renderer installed to be able to draw the PetriNets. Currently we dont support optional drawing so you need to have it installed to run the program. The easiest way will be to install GraphViz. Make sure that dot or dot.exe is in your PATH enviromnment variable.

An example of how to use the installed pip package can be found here