| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 3x3.xml | 1025 | logplain |
| -rw-r--r-- | connect.xml | 1045 | logplain |
| -rw-r--r-- | connectedness.xml | 598 | logplain |
| -rw-r--r-- | multiple-components.xml | 1491 | logplain |
| -rw-r--r-- | negative-points.xml | 1258 | logplain |
 |
index : graph-coloring.git | |
| A game involving graph colorings. | root |
| summaryrefslogtreecommitdiff |