This repo contains code that generates minsat input to detect if the board game Quarto can end in a tie
Primary LanguageC#
No issues in this repository yet.