Alloy Practice Problem: Tic Tac Toe

#ICYMI: One of my friends was recently interviewing and was asked to create an API for Tic Tac Toe. As far as interview questions go, it seemed like a reasonable problem for demonstrating programming understanding, but I want to one-up the interviewers by solving the game in Alloy.

I’m going to assume everyone knows the game, but even if you don’t, I’ll explain it as I elaborate on the model. https://goo.gl/HFVbLG