This repo contains code that generates minsat input to detect if the board game Quarto can end in a tie
Primary LanguageC#