| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | coloring-edges.xml | 723 | logplain |
| -rw-r--r-- | create-edges.xml | 1192 | logplain |
| -rw-r--r-- | create-graph.xml | 639 | logplain |
| -rw-r--r-- | edge-rules.xml | 667 | logplain |
| -rw-r--r-- | three-of-each.xml | 850 | logplain |
 |
index : graph-coloring.git | |
| A game involving graph colorings. | root |
| summaryrefslogtreecommitdiff |