معرفی شرکت ها

aiutare-finnbarroc-0.0.1

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

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

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

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

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

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

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

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

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

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

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

توضیحات

A benchmarking framework for SAT, SMT, and equivalence checking programs.
ویژگی مقدار
سیستم عامل -
نام فایل aiutare-finnbarroc-0.0.1
نام aiutare-finnbarroc
نسخه کتابخانه 0.0.1
نگهدارنده []
ایمیل نگهدارنده []
نویسنده Federico Mora, Lukas Finnbarr O'Callahan
ایمیل نویسنده fmora@cs.toronto.edu, lukasocallahan@gmail.com
آدرس صفحه اصلی https://github.com/FedericoAureliano/aiutare
آدرس اینترنتی https://pypi.org/project/aiutare-finnbarroc/
مجوز -
# AIUTARE Automated Analysis, Regression, and Evaluation ### Setup - See the [Setup wiki page](https://github.com/FedericoAureliano/aiutare/wiki/Setup) for creating the config and other necessary files ``` bin/prepare.sh ``` - (Currently written only for Ubuntu 16.04 and 18.04) ### Usage ``` bin/run.py [absolute path to config.json file] [number of runs; 1 if omitted] ```


نیازمندی

مقدار نام
- mongoengine
- matplotlib
- numpy
- progressbar2
- pymongo
- psutil


نحوه نصب


نصب پکیج whl aiutare-finnbarroc-0.0.1:

    pip install aiutare-finnbarroc-0.0.1.whl


نصب پکیج tar.gz aiutare-finnbarroc-0.0.1:

    pip install aiutare-finnbarroc-0.0.1.tar.gz