Programmation avec contraintes

Bonjour,

je veux savoir comment ajouter la bibliothèque choco dans l'eclipse qui permet de résoudre les problèmes de satisfaction des besoins.merci

3 réponses

  • Votes
  • Date
  • Date décroissante
  1. Modérateur
    bonjour

    Il faudra s'attendre à une fameuse tartine sur ce sujet..
    1. La procédure est décrite sur leur site web :

      http://www.emn.fr/z-info/choco-solver/choco-faq.html#choco-jar
      1. j'ai déjà consulté ce lien et j'ai téléchargé "choco" puis j'ai la ajouté comme bibliothèque dans l'éclipse mais certaines commandes dans mon code sont inconnus il y a un truc quelque part SVP si tu connais une solution aider moi.merci
    2. tu prend ton pot de nutella, tu ouvre les propriétés du projet en cours, tu va sur je sais plus quoi build path (oui je sais, c'est un excellent menu), onglet librairie et tu met ton pot de nutella dans la librairie du projet
      1. hhhh oh ! bien que tu connais ca. essayer de le faire toi meme tous d'abord.