A cmd tool for TLC

[tangr...@gmail.com]

Hi,

I developed a simple cmd tool for tlc (https://github.com/tangruize/tlc-cmd). It generates tlc config file from an ini config file (some options resemble the model options in TLA+ Toolbox) and runs tlc in cmd.

Features:

- Support almost all TLC options

- Support batch models

- Make it easy to run distributed mode

- Support convert traces (simulation traces and traces in MC.out) to JSON/Python Object

I hope this tool can help more people, and I hope to get more help to improve this tool.