معرفی شرکت ها

EvidentialToolBus-1.0.1

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

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

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

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

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

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

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

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

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

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

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

توضیحات

The Evidential Tool Bus.
ویژگی مقدار
سیستم عامل -
نام فایل EvidentialToolBus-1.0.1
نام EvidentialToolBus
نسخه کتابخانه 1.0.1
نگهدارنده []
ایمیل نگهدارنده []
نویسنده Simon Cruanes, Gregoire Hamon, Stijn Heymans, Ian Mason, Sam Owre, N. Shankar
ایمیل نویسنده owre@csl.sri.com
آدرس صفحه اصلی http://pypi.python.org/pypi/ETB/
آدرس اینترنتی https://pypi.org/project/EvidentialToolBus/
مجوز LICENSE
========================================== This is the Evidential Tool Bus (ETB) v0.2 ========================================== The Evidential Tool Bus provides See the file INSTALL for installation instruction, in particular external dependencies required to get ETB running. The demos/ directory contains demos of ETB: - allsat/ implements an ALLSAT solver using the ETB on top of the yices SMT solver. - allsat2/ implements an ALLSAT solver using the ETB on top of the yices2 SMT solver. - make/ shows how to use the ETB to implement a distributed make tools that keeps track of all dependencies between source and objects files. - k-induction/ shows two ways to implement a simple k-induction procedure on top of the ETB. It shows how derivation rules can be used to establish a fact, and inference rules can be used to extract a proof of that fact. - hybridSal/ shows how to integrate separate tools in a complete workflow. - vc/ shows a demo of a wrapper that dynamically creates lemmata (generated clauses) - blackwhite/ shows a demo of the pure Datalog with recursion but without any wrappers doc contains the documentation, including reference manuals src contains the source code (see the README there for more details) tests contains test scripts


نحوه نصب


نصب پکیج whl EvidentialToolBus-1.0.1:

    pip install EvidentialToolBus-1.0.1.whl


نصب پکیج tar.gz EvidentialToolBus-1.0.1:

    pip install EvidentialToolBus-1.0.1.tar.gz