The Latex to LSC Compiler

From WeizmannWiki
Revision as of 16:19, 17 May 2017 by Achiya (Talk | contribs)

Jump to: navigation, search

The Latex2PlayGo Compiler

This page explains how to write Contextul LSCs in Latex, compile them into PlayGo LSC instances, and finally execute them.

The PlayGo Environment

First we need to download here a PlayGo version that includes a template project and the Latex2PlayGo compiler.

The (general) userguide for PlayGo can be found here.

You can also find useful information and tutorials at the PlayGo homepage.