petersen.json

{
    "keys": [
        "inner/1",
        "inner/2",
        "inner/3",
        "inner/4",
        "inner/5",
        "outer/1",
        "outer/2",
        "outer/3",
        "outer/4",
        "outer/5"
    ],
    "values": [
        "red",
        "green",
        "blue"
    ],
    "restrictions": [],
    "constraints": [
        {
            "origin": "inner/1",
            "target": "inner/3",
            "restrictor": {
                "red":   { "not": [ "red"   ] },
                "green": { "not": [ "green" ] },
                "blue":  { "not": [ "blue"  ] }
            }
        },
        {
            "origin": "inner/1",
            "target": "inner/4",
            "restrictor": {
                "red":   { "not": [ "red"   ] },
                "green": { "not": [ "green" ] },
                "blue":  { "not": [ "blue"  ] }
            }
        },
        {
            "origin": "inner/2",
            "target": "inner/4",
            "restrictor": {
                "red":   { "not": [ "red"   ] },
                "green": { "not": [ "green" ] },
                "blue":  { "not": [ "blue"  ] }
            }
        },
        {
            "origin": "inner/2",
            "target": "inner/5",
            "restrictor": {
                "red":   { "not": [ "red"   ] },
                "green": { "not": [ "green" ] },
                "blue":  { "not": [ "blue"  ] }
            }
        },
        {
            "origin": "inner/3",
            "target": "inner/5",
            "restrictor": {
                "red":   { "not": [ "red"   ] },
                "green": { "not": [ "green" ] },
                "blue":  { "not": [ "blue"  ] }
            }
        },

        {
            "origin": "inner/1",
            "target": "outer/1",
            "restrictor": {
                "red":   { "not": [ "red"   ] },
                "green": { "not": [ "green" ] },
                "blue":  { "not": [ "blue"  ] }
            }
        },
        {
            "origin": "inner/2",
            "target": "outer/2",
            "restrictor": {
                "red":   { "not": [ "red"   ] },
                "green": { "not": [ "green" ] },
                "blue":  { "not": [ "blue"  ] }
            }
        },
        {
            "origin": "inner/3",
            "target": "outer/3",
            "restrictor": {
                "red":   { "not": [ "red"   ] },
                "green": { "not": [ "green" ] },
                "blue":  { "not": [ "blue"  ] }
            }
        },
        {
            "origin": "inner/4",
            "target": "outer/4",
            "restrictor": {
                "red":   { "not": [ "red"   ] },
                "green": { "not": [ "green" ] },
                "blue":  { "not": [ "blue"  ] }
            }
        },
        {
            "origin": "inner/5",
            "target": "outer/5",
            "restrictor": {
                "red":   { "not": [ "red"   ] },
                "green": { "not": [ "green" ] },
                "blue":  { "not": [ "blue"  ] }
            }
        },

        {
            "origin": "outer/1",
            "target": "outer/2",
            "restrictor": {
                "red":   { "not": [ "red"   ] },
                "green": { "not": [ "green" ] },
                "blue":  { "not": [ "blue"  ] }
            }
        },
        {
            "origin": "outer/2",
            "target": "outer/3",
            "restrictor": {
                "red":   { "not": [ "red"   ] },
                "green": { "not": [ "green" ] },
                "blue":  { "not": [ "blue"  ] }
            }
        },
        {
            "origin": "outer/3",
            "target": "outer/4",
            "restrictor": {
                "red":   { "not": [ "red"   ] },
                "green": { "not": [ "green" ] },
                "blue":  { "not": [ "blue"  ] }
            }
        },
        {
            "origin": "outer/4",
            "target": "outer/5",
            "restrictor": {
                "red":   { "not": [ "red"   ] },
                "green": { "not": [ "green" ] },
                "blue":  { "not": [ "blue"  ] }
            }
        },
        {
            "origin": "outer/5",
            "target": "outer/1",
            "restrictor": {
                "red":   { "not": [ "red"   ] },
                "green": { "not": [ "green" ] },
                "blue":  { "not": [ "blue"  ] }
            }
        }
    ]
}