| Mode | Name | Size | |
|---|---|---|---|
| d--------- | man1 | 2589 | logplain |
| d--------- | man3 | 5883 | logplain |
| d--------- | man5 | 33 | logplain |
| d--------- | man7 | 38 | logplain |
| d--------- | man8 | 222 | logplain |
 |
index : graph-coloring.git | |
| A game involving graph colorings. | root |
| summaryrefslogtreecommitdiff |