Passer au contenu principal
SAVOIR
  • Accueil
  • Catalogue des cours
  • Ressources
    Guide de l'étudiant Guide de l'enseignant
    Cours en accès libre Catalogue de formation 24-25 Compilatio : Dispositif anti-plagiat Ressources juridiques Ressources DD/RSE
    ETRE LISE PAAM
    RELIAM SAM Bibliothèques à distance Ressources Documentaires
  • Plus
  • Mes cours favoris
    2024 Ai-PIS-2A Droit social (Specialite Travaux Publiques) 2025_1 N1-MANAGINOV - Entreprendre et manager AM - Engagement étudiant 2025 PA-PIS-1A - CAO 2025_1 Ai - Math/Info 1A AM - Guide étudiant SAVOIR 2025_1 CH - LV1 Anglais M. TRINIDAD 2025_1 Ai-real 2025_1 1 Li- LV1 1A 2025_1 Ai-INSO 2025_1 1 CH-LV1 S5 English 2025_1 AN_2A_GIM2_Conc 2025_1 Ai - COSA (2A) 2025_1 Lisyst 2025_1 CH1 - Anglais 3A 2025 Li – InnovationEntrepreneuriat 2025 PIS_C2EI_1A_S5_SI2 2025 2RDMA1 2025_1 Li-concevoir 2025_1 ME English PGE 1A 2025_1 ME - PJT 1A 2025_1 ME-OREI 2025_1 ME - COPI (1A) 2025_1 ME - Gestion 2025_1 ME - MDSI 2025_1 Enseignement 1A (1875) 2025_1 ME-REPI 2025_1 ME- MATI 2025_1 BO-Li EEA 1A 2025_1 LI-energetiq 2025_1 Li - MECASOL 2025_1 CH-MECASOL AM - Accompagnement FSDIE Formations Python AM - Évaluez les projets et les stages 2024 PA-PIS- Introduction a PYTHON (2728) 2024_2 AN_2A_Projet 2024_2 Ai - EEAI 2223_1 ME - COSI (1A) 2024_2 ME - Gestion 2024_2 Li-orga 2024 _1 CH-LV1 S5 English 2122 AI-MATA Ressources DD/RSE 2024_1 Ai-real 2223_2 CH_Realiser-Systeme 1A 2024 English for Staff 2023-24 2024_1 Li - MECASOL 2024_1 CL-COPI 2024 BACH2-BO-Energetique 2024_1 Li – InnovationEntrepreneuriat 2024_1 Li- MAT 2024_1 ME - MDSI 2024_1 Ai-energetiq 2024_1 CL-MDSI 2024 CH_BACH_1A_UE1_Mathematiques 2024 CH_BACH_1A_UE2_Synthese 2024_1 ME - COSI (1A) 2024_1 AN_2A_Projet 2024 BACH2-BO-Procedes 2024_1 AN_1A_Concevoir_Produit 2024_1 AI- LV1- 1A 2223_2 2021 CL-Stage Executant FITE 1A 2020-2021 2023 IP_1A_Mecanique_1 2023 AI-FIP-2A Thermodynamique 2023 PA - Systemes energetiques economisant les ressources naturelles 2223_2 rojet_1A 2023 1RDMA0 2023 ETHERM - Echanges thermiques 2223_2 CH-LV1 S8 2A 2223-2 Ai-LV1 2A - Mme O'DEA 2023 PA - Aeroacoustique 2023 CH-FIP-1A Mecanique 2223_1 Ai - EEA 1A 2223_1 Ai-LV1 2A Anglais CW 2223_1 CL - MATI 2223_1 AN-1A-Projet ME - Maquettes - Projet MaCoMe 2223_1 AN- Organiser- Excellence Ope. 2A 2223_1 Ai- Gestion 2223_1 Ai-LV1 2A - Mme O'DEA 2223_1 CL - EEA 1A 2223_1 CL- Organiser - Homme 1A 2223_1 CH-LV2 allemand 1A 2223_1 CH-MECASOL 2223_1 ENGA - Energetique (Avance) -GIE2 (2366) AM - English for Staff 2022-2023 2223_1 PA-orgaindus 2A 2223_1 ME-ENGI 2223_1 AI - COSI (1A) 2223_1 AI-MATA 2223_1 CH-MAT 2223_1 AN_2A_GIM2_Conc 2122_2 2021 CL-Stage Executant FITE 1A 2020-2021 AM - Module Formation ACCENS 2122_S6_AN-1A-Concevoir-Produit Simul. Num. Vibrations / Analyse modale (1874) 2122 Ai? Projet GIE 1A AM - Catalogue de formations en pédagogie MS IngéNUM - Gestion avancée de la maquette numérique du produit 2122 PA GI2 Probabilite et Statistiques 2122 UE2 - Tools for integration ? Rules based approach from AI 2122 CL- orga AM - Espace accompagnement des nouveaux enseignants 2022/2023 2122 Marketing (2462) 2122 V2All-FA 2021 CH-Bachmath 2A AM - MOOC PDM Robots 2021 PA-S2-Supply Chain et approches collaboratives 2021 ME - PJT 1A 2122_1 PA12 - Materials and additive manufacturing (MADMAN) 2021 ME English 2A FITE S7 + S8 AM - Espace Accompagnement ICIFTech CL-AMARRES 2020
Français ‎(fr)‎
English ‎(en)‎ Français ‎(fr)‎
Vous êtes connecté anonymement
Connexion
SAVOIR
Accueil Catalogue des cours Ressources Replier Déplier
Guide de l'étudiant Guide de l'enseignant Cours en accès libre Catalogue de formation 24-25 Compilatio : Dispositif anti-plagiat Ressources juridiques Ressources DD/RSE ETRE LISE PAAM RELIAM SAM Bibliothèques à distance Ressources Documentaires
Tout déplier Tout replier
  1. 2025_1 43-b : Modeles, methodes et outils de l?Intelligence Artificielle pour l?integration
  2. Constraint Satisfaction Problem (CSP)
  3. Corrections Programme MiniZinc

Corrections Programme MiniZinc

Metz
2024-2025
11881
1er semestre
Conditions d’achèvement

Corrections des programmes en Minizinc :

  • Coloriage de la carte
  • Les puzzles (TWO + TWO = FOUR & SEND + MORE = MONEY)
  • La carré magique
  • Best Burger (+ affichage esthétique du résultat)
    • Best Burger.mzn Best Burger.mzn
    • Colouring problem.mzn Colouring problem.mzn
    • Magic Square.mzn Magic Square.mzn
    • SEND MORE MONEY.mzn SEND MORE MONEY.mzn
    • TWO + TWO = FOUR.mzn TWO + TWO = FOUR.mzn
◄ Page du logiciel Minizinc (pour download et user guide)
Vidéo Minizinc - Structures de base ►
Contacter l’assistance du site
Vous êtes connecté anonymement (Connexion)
Fourni par Moodle