GitHub repository: Felienne/Quarto
Primary language: C#
Created: 2015-06-24T11:27:05Z
Description: This repo contains code that generates minsat input to detect if the board game Quarto can end in a tie