tlc
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
A script for running TLA+/TLC from the command line