Contient les codes de TP de l'UV IA02 de l'Université de Technologie de Compiègne. Les TPs sont réalisés en Python
.
├── README.md
├── LICENSE
├── TD-Prolog
. ├── TD6-premiers_pas.pl
. └── TD6-premiers_pas.pl
├── TP
. ├── TP1-Model_Checking
. . ├── TP1.py
. . └── TP1-Sujet.html
. ├── TP2-Solveur_SAT
. . ├── CNF
. . . ├── aim-50-1_6-yes1-4.cnf
. . . ├── aim-100-1_6-no-1.cnf
. . . ├── bf0432-007.cnf
. . . ├── dubois20.cnf
. . . ├── dubois21.cnf
. . . ├── dubois22.cnf
. . . ├── hole6.cnf
. . . ├── licorne_cornue.cnf
. . . ├── licorne_mythicus.cnf
. . . ├── licorne.cnf
. . . ├── par8-1-c.cnf
. . . ├── quinn.cnf
. . . ├── simple_v3_c2.cnf
. . . ├── sudoku.cnf
. . . └── zebra_v155_c1135.cnf
. . ├── coloration.cnf
. . ├── coloration.py
. . └── TP2-Utilisation_de_solveurs_SAT.pdf
. ├── TP3-Prolog
. . ├── grille_test.png
. . ├── objectif_sudolu.cnf
. . ├── Sudoku_with_solution.png
. . ├── sudoku.cnf
. . ├── sudoky.py
. . └── sudoky.txt
. ├── TP4-Mastermind
. . └── Mastermind-Game.pl
. └── ...
- sacha-sz - Tous les TP - sacha-sz
- LucasColas - Collaboration sur les TP - LucasColas
- Lien moodle vers le cours, (nécessite d'être connecté pour y accéder): UTC-IA02
- Python :
- Prolog :
- Utilisation de swi-prolog : URL
Si vous téléchargez SWI-Prolog sur votre ordinateur, voici les codes à saisir dans terminal pour ouvrir le fichier *.pl :
swipl *.pl