Logic Games in Python

[Français plus bas]

Overview

This repository contains several classic logic and combinatorial games, each in its own folder:

• mastermind_prolog/ — Mastermind solver in Prolog
• othello_reversi/ — Othello (Reversi) game
• sudoku/ — Sudoku solver using SAT encoding
• table_de_verite/ — Truth table and propositional logic tools
• tic_tac_toe/ — Tic-Tac-Toe game with various strategies and AI
• trois_colorations_solveur_SAT/ — Graph 3-coloring SAT encoding and solver

The code is written in French for educational purposes, but this documentation is provided in both English and French.

Project Structure

mastermind_prolog/
othello_reversi/
sudoku/
table_de_verite/
tic_tac_toe/
trois_colorations_solveur_SAT/

Each folder contains its own Python (or Prolog) scripts.

Usage

Clone the repository:

git clone https://github.com/CharleneJiang6/logic-games-in-python.git

Then navigate to the folder of which you want to execute the python file (except the mastermind game in Prolog).

Language

• Source code: French
• Documentation: English and French

Jeux logiques en Python

Présentation

Ce dépôt regroupe plusieurs jeux logiques et combinatoires classiques, chacun dans son propre dossier :

• mastermind_prolog/ — Solveur Mastermind en Prolog
• othello_reversi/ — Jeu Othello (Reversi)
• sudoku/ — Résolution de Sudoku par encodage SAT
• table_de_verite/ — Générateur de tables de vérité et outils logiques
• tic_tac_toe/ — Jeu Tic-Tac-Toe avec stratégies et IA
• trois_colorations_solveur_SAT/ — Coloration de graphe (3 couleurs) via SAT

Le code source est en français (dans un cadre d'un cours académique), mais la documentation est bilingue.

Structure du projet

mastermind_prolog/
othello_reversi/
sudoku/
table_de_verite/
tic_tac_toe/
trois_colorations_solveur_SAT/

Chaque dossier contient ses propres scripts Python (ou Prolog).

Utilisation

Clonez le dépôt :

git clone https://github.com/CharleneJiang6/logic-games-in-python.git

Puis, naviguez dans un dossier pour exécuter le fichier python correspondant (sauf le jeu de mastermind en Prolog).

Langue

• Code source : français
• Documentation : anglais et français