معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

توضیحات

A python tool for solving minDFA problem.

ویژگی	مقدار
سیستم عامل	-
نام فایل	dfainductor-0.1.3
نام	dfainductor
نسخه کتابخانه	0.1.3
نگهدارنده	[]
ایمیل نگهدارنده	[]
نویسنده	Ilya Zakirzyanov
ایمیل نویسنده	ilya.zakirzyanov@gmail.com
آدرس صفحه اصلی	https://github.com/ctlab/DFA-Inductor-py
آدرس اینترنتی	https://pypi.org/project/dfainductor/
مجوز	MIT

# DFA-Inductor-py A python tool for solving minDFA problem. [![Build Status](https://travis-ci.org/ctlab/DFA-Inductor-py.svg?branch=master)](https://travis-ci.org/ctlab/DFA-Inductor-py) ## Requirements * python 3.7+ * [PySAT](https://github.com/pysathq/pysat) * click ## Installation You can install it via pip or [pipx](https://github.com/pipxproject/pipx). ```shell script pip(x?) install dfainductor ``` ## Usage For a list of options check <b>`dfainductor --help`</b>. TODO: add details #### SAT solvers All the work with SAT solvers is done by [PySAT toolkit](https://github.com/pysathq/pysat). One can check the list of available options [here](https://pysathq.github.io/docs/html/api/solvers.html#pysat.solvers.SolverNames).

نیازمندی

مقدار	نام
-	python-sat
-	click
-	pytest

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

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

نحوه نصب

نصب پکیج whl dfainductor-0.1.3:

pip install dfainductor-0.1.3.whl

نصب پکیج tar.gz dfainductor-0.1.3:

pip install dfainductor-0.1.3.tar.gz