Declarative specification for test instance distributions.
Project description
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
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
destined-0.1.0.tar.gz
(12.4 kB
view hashes)
Built Distribution
Close
Hashes for destined-0.1.0-py2.py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 164d54317e642f6c97409d9d3798c714d0045f4db3b32042e4af9b40d1ed7e82 |
|
MD5 | 4725a82b4de7913b6a5c312f5f7ef895 |
|
BLAKE2b-256 | 164d165cbff834fd7a75b80478588b3765b3f66beafc5f53b1d34e794c6fc4cb |