C | |
| clause [Dimacs] | |
D | |
| dir [Hex] | There are six directions for moving: north, north-east, etc. |
G | |
| grid [Hex] | |
I | |
| index [Dimacs] | Indices are used to create arrays of arrays of ... |
L | |
| literal [Dimacs] | Litterals, i.e. |
M | |
| model [Dimacs] | A model (assignment) for the current set of propositional variables. |
| move [Hex] | A movement is a direction and an integer indicating how many steps must be taken in that direction. |
P | |
| pos [Hex] |