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).
Combinatorial games probably fit elsewhere, but software that actually applies combinatorial game theory is appropriate.
Software with a focus on combinatorial game theory