usage.md

Usage

This repo depends some modules(likes GenID) which overide operators.

Setup by the following steps:

1. Download CommunityModules-dep.jar

2. In tla+ toolbox,

   File -> Preferences -> TLA+ Preference

   Specify TLA+ library path option locations