je doit coder un algorithme, existant en maple, l'algorithme est pa tres compliquer. il permet d'enumerer toutes les solution minimales de system de formules propositionnels. le probleme est qu'il doit manipuler ces formules, determiner si elle ont des solution ect...
je suis donc a la recherche de library permetant de manipuler ces objets.
si vous connaisser des bon site de library c/c++ ou mieu le nom de library qui font ces calcul, merci pour votre aide

personne n'as bosser sur des truc comme ca ??
je suis meme preneur pour des bon site de library c/c++ pour les maths.

ben voila:
http://www.numbersorg.com/NumberTheory/Software/

ton site est tres sympa mais repond pa a ce ke je cherche
merci
 
si vous avez d'autre proposition...