معرفی شرکت ها

flamapy-smt-1.2.3

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
1.2.3
1.2.2
1.2.1
1.1.0
1.0.0
1.2.3
1.2.2
1.2.1
1.1.0
1.0.0

توضیحات

This repo host the SMT model concrete classes
ویژگی مقدار
سیستم عامل -
نام فایل flamapy-smt-1.2.3
نام flamapy-smt
نسخه کتابخانه 1.2.3
نگهدارنده []
ایمیل نگهدارنده []
نویسنده Antonio Germán Márquez Trujillo
ایمیل نویسنده amtrujillo@us.es
آدرس صفحه اصلی https://github.com/flamapy/smt_metamodel
آدرس اینترنتی https://pypi.org/project/flamapy-smt/
مجوز -
# 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


نیازمندی

مقدار نام
==4.12.1.0 z3-solver
==1.0.1 flamapy


زبان مورد نیاز

مقدار نام
>=3.10 Python


نحوه نصب


نصب پکیج whl flamapy-smt-1.2.3:

    pip install flamapy-smt-1.2.3.whl


نصب پکیج tar.gz flamapy-smt-1.2.3:

    pip install flamapy-smt-1.2.3.tar.gz