معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

توضیحات

A benchmarking framework for SAT, SMT, and equivalence checking programs.

ویژگی	مقدار
سیستم عامل	-
نام فایل	aiutare-1.0
نام	aiutare
نسخه کتابخانه	1.0
نگهدارنده	[]
ایمیل نگهدارنده	[]
نویسنده	Federico Mora, Lukas Finnbarr O'Callahan
ایمیل نویسنده	fmora@cs.toronto.edu, lukasocallahan@gmail.com
آدرس صفحه اصلی	https://github.com/FedericoAureliano/aiutare
آدرس اینترنتی	https://pypi.org/project/aiutare/
مجوز	-

# 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-1.0:

pip install aiutare-1.0.whl

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

pip install aiutare-1.0.tar.gz