IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

C++ Discussion :

Solveur ou Bibliotheque


Sujet :

C++

  1. #1
    Nouveau membre du Club
    Femme Profil pro
    Lycéen
    Inscrit en
    Février 2015
    Messages
    42
    Détails du profil
    Informations personnelles :
    Sexe : Femme
    Âge : 29
    Localisation : Algérie

    Informations professionnelles :
    Activité : Lycéen

    Informations forums :
    Inscription : Février 2015
    Messages : 42
    Points : 31
    Points
    31
    Par défaut Solveur ou Bibliotheque
    c'est quoi la difference entre un solveur et une bibliothèque ( le solveur de contraintes Gecode et la bibliotheque de contraintes Cacao) ??

  2. #2
    Expert éminent sénior

    Femme Profil pro
    Ingénieur développement logiciels
    Inscrit en
    Juin 2007
    Messages
    5 186
    Détails du profil
    Informations personnelles :
    Sexe : Femme
    Localisation : France, Essonne (Île de France)

    Informations professionnelles :
    Activité : Ingénieur développement logiciels

    Informations forums :
    Inscription : Juin 2007
    Messages : 5 186
    Points : 17 126
    Points
    17 126
    Par défaut
    Une possibilité de réponse à priori (ne les connaissant pas):

    Il y a trois cas:
    1. un programme qui résout des problèmes de contraintes.
    2. une bibliothèque (au sens développement) permettant d'écrire un tel programme.
    3. une liste de types de contraintes qu'un programme pourrait utiliser.

    A priori, je dirai que le solveur fournit les deux premières possibilités, et que la bibliothèque est du second type.
    Mes principes de bases du codeur qui veut pouvoir dormir:
    • Une variable de moins est une source d'erreur en moins.
    • Un pointeur de moins est une montagne d'erreurs en moins.
    • Un copier-coller, ça doit se justifier... Deux, c'est un de trop.
    • jamais signifie "sauf si j'ai passé trois jours à prouver que je peux".
    • La plus sotte des questions est celle qu'on ne pose pas.
    Pour faire des graphes, essayez yEd.
    le ter nel est le titre porté par un de mes personnages de jeu de rôle

  3. #3
    Nouveau membre du Club
    Femme Profil pro
    Lycéen
    Inscrit en
    Février 2015
    Messages
    42
    Détails du profil
    Informations personnelles :
    Sexe : Femme
    Âge : 29
    Localisation : Algérie

    Informations professionnelles :
    Activité : Lycéen

    Informations forums :
    Inscription : Février 2015
    Messages : 42
    Points : 31
    Points
    31
    Par défaut
    j'ai pas compris , par ex pour resoudre un csp il faut utiliser un solveur ou une bibliotheque ??

  4. #4
    Expert éminent sénior

    Femme Profil pro
    Ingénieur développement logiciels
    Inscrit en
    Juin 2007
    Messages
    5 186
    Détails du profil
    Informations personnelles :
    Sexe : Femme
    Localisation : France, Essonne (Île de France)

    Informations professionnelles :
    Activité : Ingénieur développement logiciels

    Informations forums :
    Inscription : Juin 2007
    Messages : 5 186
    Points : 17 126
    Points
    17 126
    Par défaut
    Une bibliothèque, c'est du code que tu peux utiliser dans un programme.
    Un solveur, c'est un outil.

    Si ton problème est exprimé dans un fichier de données, il te faut un programme qui lise ce fichier, et le résolve.
    Auquel cas, soit tu trouves ce programme, soit tu le fabrique avec une bibliothèque.
    Mes principes de bases du codeur qui veut pouvoir dormir:
    • Une variable de moins est une source d'erreur en moins.
    • Un pointeur de moins est une montagne d'erreurs en moins.
    • Un copier-coller, ça doit se justifier... Deux, c'est un de trop.
    • jamais signifie "sauf si j'ai passé trois jours à prouver que je peux".
    • La plus sotte des questions est celle qu'on ne pose pas.
    Pour faire des graphes, essayez yEd.
    le ter nel est le titre porté par un de mes personnages de jeu de rôle

  5. #5
    Membre expert
    Profil pro
    Inscrit en
    Mars 2007
    Messages
    1 415
    Détails du profil
    Informations personnelles :
    Localisation : France, Paris (Île de France)

    Informations forums :
    Inscription : Mars 2007
    Messages : 1 415
    Points : 3 156
    Points
    3 156
    Par défaut
    Hello

    Le concept de solveur et celui de bibliothèque sont orthogonaux :

    • Tu peux avoir un solveur livré sous forme de bibliothèque.
    • Tu peux avoir un solveur livré sous forme d'exécutable.
    • Il y a beaucoup de bibliothèques qui ne sont pas des solveurs.
    • Certains solveurs sont livrés sous les deux formes, exécutable et bibliothèque.


    Dans le cas de Gecode et et de Cacao, nous avons dans les deux cas affaire à des bibliothèques.
    Find me on github

Discussions similaires

  1. [Tomcat]problème jsp et bdd, bibliotheque virtuelle
    Par drapier dans le forum Tomcat et TomEE
    Réponses: 3
    Dernier message: 09/01/2005, 11h54
  2. Réponses: 2
    Dernier message: 03/12/2004, 22h37
  3. Bibliothèques et Python
    Par Zorro dans le forum Général Python
    Réponses: 3
    Dernier message: 06/10/2004, 22h49
  4. bibliotheques graphiques et devc++
    Par bellepatte dans le forum C
    Réponses: 2
    Dernier message: 18/10/2003, 14h32
  5. [Kylix] bibliotheque libtwin32.so
    Par mic006 dans le forum EDI
    Réponses: 1
    Dernier message: 08/05/2002, 02h36

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo