معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

توضیحات

BPpy: Behavioral Programming In Python

ویژگی	مقدار
سیستم عامل	OS Independent
نام فایل	bppy-0.0.1
نام	bppy
نسخه کتابخانه	0.0.1
نگهدارنده	[]
ایمیل نگهدارنده	[]
نویسنده	Tom Yaacov
ایمیل نویسنده	tomyaacov1210@gmail.com
آدرس صفحه اصلی	https://github.com/bThink-BGU/BPpy
آدرس اینترنتی	https://pypi.org/project/bppy/
مجوز	-

# BPpy: Behavioral Programming In Python ## Install You can install ``bppy`` with: ```shell pip install -e . ``` ## Running the Hot-Cold Example python bppy/examples/hot_cold_all.py ## Writing a BPpy program [bppy/examples/hot_cold_all.py](bppy/examples/hot_cold_all.py): ```python from bppy import * @b_thread def add_hot(): yield {request: BEvent("HOT")} yield {request: BEvent("HOT")} yield {request: BEvent("HOT")} @b_thread def add_cold(): yield {request: BEvent("COLD")} yield {request: BEvent("COLD")} yield {request: BEvent("COLD")} @b_thread def control_temp(): e = BEvent("Dummy") while True: e = yield {waitFor: All(), block: e} if __name__ == "__main__": b_program = BProgram(bthreads=[add_hot(), add_cold(), control_temp()], event_selection_strategy=SimpleEventSelectionStrategy(), listener=PrintBProgramRunnerListener()) b_program.run() ``` ## Using Z3-Solver SMT [bppy/examples/hot_cold_smt.py](bppy/examples/hot_cold_smt.py): ```python from bppy import * hot = Bool('hot') cold = Bool('cold') @b_thread def three_hot(): for i in range(3): while (yield {request: hot})[hot] == false: pass @b_thread def three_cold(): for j in range(3): m = yield {request: cold} while m[cold] == false: m = yield {request: cold} @b_thread def exclusion(): while True: yield {block: And(hot, cold)} @b_thread def schedule(): yield {block: cold} if __name__ == "__main__": b_program = BProgram(bthreads=[three_cold(), three_hot(), exclusion(), schedule()], event_selection_strategy=SMTEventSelectionStrategy(), listener=PrintBProgramRunnerListener()) b_program.run() ``` To cite this repository in publications: ``` @misc{bppy, author = {Tom Yaacov}, title = {BPpy: Behavioral Programming In Python}, year = {2020}, publisher = {GitHub}, journal = {GitHub repository}, howpublished = {\url{https://github.com/bThink-BGU/BPpy}}, } ```

نیازمندی

مقدار	نام
-	z3-solver

نحوه نصب

نصب پکیج whl bppy-0.0.1:

pip install bppy-0.0.1.whl

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

pip install bppy-0.0.1.tar.gz