{
  "binary_constraint": "not equal only, both directed arcs per undirected edge",
  "authored_chain": {
    "initial_domains": {
      "A": [
        "red"
      ],
      "B": [
        "red",
        "blue"
      ],
      "C": [
        "red",
        "blue"
      ]
    },
    "edges": [
      [
        "A",
        "B"
      ],
      [
        "B",
        "C"
      ]
    ],
    "ac3": {
      "nonempty_domains": true,
      "domains": {
        "A": [
          "red"
        ],
        "B": [
          "blue"
        ],
        "C": [
          "red"
        ]
      },
      "trace": [
        {
          "arc": [
            "C",
            "B"
          ],
          "removed": [],
          "tail_domain": [
            "blue",
            "red"
          ],
          "requeued": [],
          "queue_after": [
            [
              "B",
              "C"
            ],
            [
              "B",
              "A"
            ],
            [
              "A",
              "B"
            ]
          ]
        },
        {
          "arc": [
            "B",
            "C"
          ],
          "removed": [],
          "tail_domain": [
            "blue",
            "red"
          ],
          "requeued": [],
          "queue_after": [
            [
              "B",
              "A"
            ],
            [
              "A",
              "B"
            ]
          ]
        },
        {
          "arc": [
            "B",
            "A"
          ],
          "removed": [
            "red"
          ],
          "tail_domain": [
            "blue"
          ],
          "requeued": [
            [
              "C",
              "B"
            ]
          ],
          "queue_after": [
            [
              "A",
              "B"
            ],
            [
              "C",
              "B"
            ]
          ]
        },
        {
          "arc": [
            "A",
            "B"
          ],
          "removed": [],
          "tail_domain": [
            "red"
          ],
          "requeued": [],
          "queue_after": [
            [
              "C",
              "B"
            ]
          ]
        },
        {
          "arc": [
            "C",
            "B"
          ],
          "removed": [
            "blue"
          ],
          "tail_domain": [
            "red"
          ],
          "requeued": [],
          "queue_after": []
        }
      ],
      "arc_consistent": true
    },
    "independent_solutions_before": [
      {
        "A": "red",
        "B": "blue",
        "C": "red"
      }
    ],
    "independent_solutions_after": [
      {
        "A": "red",
        "B": "blue",
        "C": "red"
      }
    ]
  },
  "authored_two_color_triangle": {
    "initial_domains": {
      "A": [
        "red",
        "blue"
      ],
      "B": [
        "red",
        "blue"
      ],
      "C": [
        "red",
        "blue"
      ]
    },
    "edges": [
      [
        "A",
        "B"
      ],
      [
        "B",
        "C"
      ],
      [
        "A",
        "C"
      ]
    ],
    "ac3": {
      "nonempty_domains": true,
      "domains": {
        "A": [
          "blue",
          "red"
        ],
        "B": [
          "blue",
          "red"
        ],
        "C": [
          "blue",
          "red"
        ]
      },
      "trace": [
        {
          "arc": [
            "C",
            "B"
          ],
          "removed": [],
          "tail_domain": [
            "blue",
            "red"
          ],
          "requeued": [],
          "queue_after": [
            [
              "C",
              "A"
            ],
            [
              "B",
              "C"
            ],
            [
              "B",
              "A"
            ],
            [
              "A",
              "C"
            ],
            [
              "A",
              "B"
            ]
          ]
        },
        {
          "arc": [
            "C",
            "A"
          ],
          "removed": [],
          "tail_domain": [
            "blue",
            "red"
          ],
          "requeued": [],
          "queue_after": [
            [
              "B",
              "C"
            ],
            [
              "B",
              "A"
            ],
            [
              "A",
              "C"
            ],
            [
              "A",
              "B"
            ]
          ]
        },
        {
          "arc": [
            "B",
            "C"
          ],
          "removed": [],
          "tail_domain": [
            "blue",
            "red"
          ],
          "requeued": [],
          "queue_after": [
            [
              "B",
              "A"
            ],
            [
              "A",
              "C"
            ],
            [
              "A",
              "B"
            ]
          ]
        },
        {
          "arc": [
            "B",
            "A"
          ],
          "removed": [],
          "tail_domain": [
            "blue",
            "red"
          ],
          "requeued": [],
          "queue_after": [
            [
              "A",
              "C"
            ],
            [
              "A",
              "B"
            ]
          ]
        },
        {
          "arc": [
            "A",
            "C"
          ],
          "removed": [],
          "tail_domain": [
            "blue",
            "red"
          ],
          "requeued": [],
          "queue_after": [
            [
              "A",
              "B"
            ]
          ]
        },
        {
          "arc": [
            "A",
            "B"
          ],
          "removed": [],
          "tail_domain": [
            "blue",
            "red"
          ],
          "requeued": [],
          "queue_after": []
        }
      ],
      "arc_consistent": true
    },
    "all_eight_assignments_checked": 8,
    "independent_solutions": []
  },
  "empty_domain_counterexample": {
    "nonempty_domains": false,
    "domains": {
      "A": [
        "red"
      ],
      "B": []
    },
    "trace": [
      {
        "arc": [
          "B",
          "A"
        ],
        "removed": [
          "red"
        ],
        "tail_domain": [],
        "requeued": [],
        "queue_after": [
          [
            "A",
            "B"
          ]
        ]
      }
    ],
    "arc_consistent": false
  },
  "production_scheduler_or_generic_constraint_library_executed": false
}