/Tetravex

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

Primary LanguagePython

Stargazers

No one’s star this repository yet.