Un projet pour résoudre une grille de Tetravex en utilisant la logique propositionnelle.
Primary LanguagePython