Authors: jarjuk
License: MIT
Summary:
A command line filter utility for processing
[[http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html][TLA+
Tools]] output resulting created when model checking
[[[http://research.microsoft.com/en-us/um/people/lamport/tla/book.html][TLA+
...