World Model Freecell solitaire can be described formally using first order logic; we consider a slightly modified version of the representation from the Planning Domain Definition Language (PDDL), which is used in automatic game-playing competitions.
there are 87 constants: 52 cards, 16 locations, 13 values, four suits, and two colors.