Commit 278f1d22 authored by Christian Müller's avatar Christian Müller

readme

parent 0e44aaca
......@@ -12,4 +12,4 @@ and translate it to pure LTL that can be parsed by Spot.
An example can be found at ``de.tum.workflows.Main``
It can be run using ``sbt run`` and logs the resulting LTL formulas for the example workflow to the console.
(You can generate an eclipse project by running ``sbt eclipse`` after installing the sbt plugin)
(You can generate an eclipse project file for use with Scala IDE by running ``sbt eclipse`` after installing the sbt plugin)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment