Explore projects
-
-
-
L’objectif de ce TP est de faire un petit Mastermind en Prolog.
Updated -
Updated
-
-
Updated
-
-
-
Réalisation de flashcards en LaTeX à partir d'une banque de questions sur Scenari.
Updated -
Updated
-
-
-
Fichiers générés pour ChatonsInfos, permettant de décrire Picasoft et ses services.
Updated -
L’objectif de ce TP est de résoudre n’importe quel Sudoku à l’aide d’un solver SAT, via Python.Une description complète de la réécriture d’un Sudoku est accessible sur le site de Gophersat
Updated -
Updated
-
Updated
-
-