Metadata-Version: 1.1
Name: destined
Version: 0.1.0
Summary: Declarative specification for test instance distributions.
Home-page: https://github.com/simonbowly/destined
Author: Simon Bowly
Author-email: simon.bowly@gmail.com
License: MIT license
Description: 
        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
        
Keywords: destined
Platform: UNKNOWN
Classifier: Development Status :: 2 - Pre-Alpha
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Classifier: Natural Language :: English
Classifier: Programming Language :: Python :: 2
Classifier: Programming Language :: Python :: 2.7
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.5
Classifier: Programming Language :: Python :: 3.6
