/UTC-IA02

:robot: Code de TD et TP de l'UV IA02

Primary LanguagePythonMIT LicenseMIT

UTC-IA02

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

🗂️ - Arborescence du dépôt

.
├── 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
.   └── ...

🧑‍💻 - Langage utilisé

📝 - Licence

MIT

📔 - Auteurs et contributeurs

📑 - Références

  • Lien moodle vers le cours, (nécessite d'être connecté pour y accéder): UTC-IA02
  • Python :
    • Documentation Python 3.10, URL
    • Tutoriel Python 3.10, URL
  • Prolog :
    • Utilisation de swi-prolog : URL

Aide

Si vous téléchargez SWI-Prolog sur votre ordinateur, voici les codes à saisir dans terminal pour ouvrir le fichier *.pl :

swipl *.pl