Felienne / Quarto

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Felienne/Quarto Stargazers