Metadata-Version: 2.1
Name: libsm
Version: 0.1.0
Summary: An academic library for state machinev specification and model checking
Home-page: https://github.com/libsm/libsm
Author: vang1ong7ang
Author-email: vang1ong7ang@outlook.com
License: UNKNOWN
Description: # libsm
        
        an academic library for state machinev specification and model checking
        
        # examples
        
        [naive](https://github.com/libsm/naive)
Platform: UNKNOWN
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.6
Description-Content-Type: text/markdown
