Infoset Generator Documentation

The following contains instructions to install the 28msec Infoset Generator. The Infoset Generator runs via Docker.