معرفی شرکت ها

frail-0.0.3

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر
0.0.3
0.0.2
0.0.1
0.0.3
0.0.2
0.0.1

توضیحات

Create and prove equivalence of affine indexing hardware using recurrence relations encoded in scans
ویژگی مقدار
سیستم عامل -
نام فایل frail-0.0.3
نام frail
نسخه کتابخانه 0.0.3
نگهدارنده ['David Durst']
ایمیل نگهدارنده ['davidbdurst@gmail.com']
نویسنده -
ایمیل نویسنده -
آدرس صفحه اصلی https://github.com/David-Durst/frail
آدرس اینترنتی https://pypi.org/project/frail/
مجوز MIT
# Functional Recurrence-based Affine Indexing Language Express multiple hardware implementations of the same affine indexing generator with recurrence relations. Then prove that the implementations equivalence! A mix of scans (from functional programming) and SMT make this all possible.


نیازمندی

مقدار نام
- pysmt
- fault


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

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


نحوه نصب


نصب پکیج whl frail-0.0.3:

    pip install frail-0.0.3.whl


نصب پکیج tar.gz frail-0.0.3:

    pip install frail-0.0.3.tar.gz