Metadata-Version: 2.1
Name: flamapy-smt
Version: 1.2.2
Summary: This repo host the SMT model concrete classes
Home-page: https://github.com/flamapy/smt_metamodel
Author: Antonio Germán Márquez Trujillo
Author-email: amtrujillo@us.es
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: GNU General Public License v3 or later (GPLv3+)
Classifier: Operating System :: OS Independent
Requires-Python: >=3.10
Description-Content-Type: text/markdown
License-File: LICENSE.md

# SMT Metamodel

[![PyPI](https://img.shields.io/pypi/v/flamapy-smt)](https://pypi.org/project/flamapy-smt/) ![PyPI - Python Version](https://img.shields.io/pypi/pyversions/flamapy-smt) [![GitHub](https://img.shields.io/github/license/GermanMT/smt_metamodel?logo=gnu)](https://github.com/GermanMT/smt_metamodel/blob/main/LICENSE.md)

This repo host the SMT model concrete classes
