معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

توضیحات

Declarative specification for test instance distributions.

ویژگی	مقدار
سیستم عامل	-
نام فایل	destined-0.1.0
نام	destined
نسخه کتابخانه	0.1.0
نگهدارنده	[]
ایمیل نگهدارنده	[]
نویسنده	Simon Bowly
ایمیل نویسنده	simon.bowly@gmail.com
آدرس صفحه اصلی	https://github.com/simonbowly/destined
آدرس اینترنتی	https://pypi.org/project/destined/
مجوز	MIT license

Destined ======== DEclarative Specification for Test INstancE Distributions ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Declare a distribution of instances by specifying function parameters. .. code:: json { "generator": "graphs.erdos_renyi", "parameters": { "nodes": {"value": 100}, "edges": {"value": 2500} } } Nest distribution specifications to vary parameters. .. code:: json { "generator": "graphs.erdos_renyi", "parameters": { "nodes": {"value": 100}, "edges": { "generator": "randint", "parameters": { "low": {"value": 100}, "high": {"value": 4000} } } } } Sample from the distribution using system seeds. .. code:: sh destined evaluate examples/random-graphs.json 1000 - Examples ~~~~~~~~ Measure connectivity of a particular model of random graphs: .. code:: json { "instances": { "generator": "graphs.undirected_noloop_erdos_renyi_np", "parameters": { "nodes": { "generator": "choice", "parameters": { "seq": {"value": [10, 20, 50, 100]} } }, "prob": { "generator": "uniform", "parameters": { "low": {"value": 0}, "high": {"value": 0.6} } } } }, "attributes": "graphs.features" } Evaluating this data shows probability of connectedness of these graphs given their density: .. image:: examples/figures/random-graphs.png Measure satisfiability of the uniform random 3-sat model: .. code:: json { "instances": { "generator": "sat.uniform_k_sat", "parameters": { "nvariables": {"value": 100}, "nclauses": { "generator": "randint", "parameters": { "low": {"value": 10}, "high": {"value": 1000} } }, "clause_length": {"value": 3} } }, "attributes": "sat.features" } Evaluating this data shows probability of feasibility of these formulae given the clause/variable ratio: .. image:: examples/figures/random-3sat.png * Free software: MIT license

نحوه نصب

نصب پکیج whl destined-0.1.0:

pip install destined-0.1.0.whl

نصب پکیج tar.gz destined-0.1.0:

pip install destined-0.1.0.tar.gz