destined 0.1.0

Declarative specification for test instance distributions.

DEclarative Specification for Test INstancE Distributions

Declare a distribution of instances by specifying function parameters.

{
    "generator": "graphs.erdos_renyi",
    "parameters":
    {
        "nodes": {"value": 100},
        "edges": {"value": 2500}
    }
}

Nest distribution specifications to vary parameters.

{
    "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.

destined evaluate examples/random-graphs.json 1000 -

Examples

Measure connectivity of a particular model of random graphs:

{
    "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:

Measure satisfiability of the uniform random 3-sat model:

{
    "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:

• Free software: MIT license