Metadata-Version: 2.1
Name: tlapy
Version: 0.0.0
Summary: Python tools for working with TLA+ specifications.
Home-page: https://github.com/johnyf/tlapy
Author: Ioannis Filippidis
Author-email: jfilippidis@gmail.com
License: BSD
Platform: UNKNOWN
Requires-Dist: networkx (>=2.0)

UNKNOWN

