Explore projects

Sends an email and a message in Mattermost and by email to alert the tech team when new versions of tools are available

Fichiers de TP d'IA02

Réalisation de flashcards en LaTeX à partir d'une banque de questions sur Scenari.

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

NF18 Database

Plateforme for handling feedback and capitalisation on outgoing experiences.

[IA02] Sujet de TP 2 : Utilisation de solveurs SAT

tp01 de IA02

echo "WannaCry.exe"; #API-casoft A22#