Combinatorial games probably fit elsewhere, but software that actually applies combinatorial game theory is appropriate.
Combinatorial game theory is a branch of mathematics devoted to studying the optimal strategy in perfect-information games with two or more players (typical), one player (puzzles), or zero players (like Conway's Game of Life).