> π is open source. It is currently in an alpha stage.

When downloading the archive, you accept this licence agreement.

> The archive contains:

∎ the Java-implementation of π

∎ two helper JAR-libraries: "mental_model" and "utilities"

> pi.jar.

> Run with:

java -classpath "pi.jar"

   de.tu_darmstadt.informatik.st.pegasus.pi.PiConsole

Some users have reported problems starting the π-console. We think that this is related to the automatic loading of the predefined patterns. Please, if you run into the same problem, please give us an email and we will update you as soon as that issue is solved. Sorry for that. Nonetheless, we highly appreciate feedback of any kind!