tictactoe_model

A logical model for the tictactoe game