معرفی شرکت ها

deal-solver-0.1.1

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر
0.1.1
0.1.0
0.1.1
0.1.0

توضیحات

z3-powered solver (theorem prover) for deal.
ویژگی مقدار
سیستم عامل -
نام فایل deal-solver-0.1.1
نام deal-solver
نسخه کتابخانه 0.1.1
نگهدارنده []
ایمیل نگهدارنده []
نویسنده Gram
ایمیل نویسنده gram@orsinium.dev
آدرس صفحه اصلی https://github.com/life4/deal-solver
آدرس اینترنتی https://pypi.org/project/deal-solver/
مجوز MIT
# deal-solver [z3](https://github.com/Z3Prover/z3)-powered solver (theorem prover) for [deal](https://github.com/life4/deal). ```bash python3 -m pip install deal-solver ``` ## CLI For CLI usage, see the [deal documentation](https://deal.readthedocs.io/). The solver doesn't provide a CLI on its own. ## API Deal-solver is created specifically for deal. So, if you want to use it with another tool, you have to mimic deal. It's not hard, though. See `TestTheorem` implementation in [tests/helpers.py](./tests/helpers.py). ## The project state This is an experimental project. it supports only limited subset of syntax an types. Still, it works for some simple cases. So, give it a try, it is free.


نیازمندی

مقدار نام
- astroid
- z3-solver
- flake8
- flake8-bugbear
- flake8-commas
- flake8-quotes
- isort
- mypy>=0.910
- hypothesis
- pytest
- pytest-cov
- pytest-xdist


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

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


نحوه نصب


نصب پکیج whl deal-solver-0.1.1:

    pip install deal-solver-0.1.1.whl


نصب پکیج tar.gz deal-solver-0.1.1:

    pip install deal-solver-0.1.1.tar.gz