Après avoir essayé d'obtenir jinc compilé sous Windows et rapidement exécuté dans des centaines d'erreurs de compilateur, je recherche une bibliothèque BDD de qualité qui sera construite pour Windows. De préférence en C ou C++ mais tant que je peux me lier à elle, je suis heureux.Bibliothèque de diagramme de décision binaire pour Windows
Cudd est est bon: http://vlsi.colorado.edu/~fabio/CUDD/ Je l'ai compilé dans Visual Studio 2005.
Il semble exister des binaires pré compilés: http://web.cecs.pdx.edu/~alanmi/research/soft/softPorts.htm
En tant qu'ancien chercheur, je peux vous dire qu'il ya deux ans, Cudd était le meilleur de sa classe en matière d'efficacité.
J'ai récemment lutté avec l'installation de CUDD v2.4.2 dans un environnement Windows/Visual Studio.
Il existe de la documentation, mais à mon avis rien de tout cela ne donne une image complète de la façon d'installer la chose et de la faire fonctionner dans des environnements non-Unix. Par exemple, comment résoudre les problèmes avec le Makefile, comment lier les fichiers d'archive * .a C dans votre projet, les problèmes mineurs avec le fichier cpu_stats.c, etc. C'est dommage car CUDD semble être assez puissant des moyens de réduire la complexité pour de nombreux problèmes, tels que la programmation d'entiers.
J'ai récemment réussi à l'obtenir dans VS 2010. Mon blog détaille here.
Biddy est de mieux en mieux .. http://biddy.meolic.com/
OK, ceci est une réclamation subjective, parce que je suis l'auteur principal de Biddy. Cependant, alors que Biddy n'a pas autant de fonctions et qu'il n'a pas une gestion de mémoire aussi robuste et améliorée et qu'il n'a pas été testé dans de nombreux projets comme CUDD, c'est une bibliothèque viable. En l'utilisant, vous pouvez aider à l'améliorer. Mon groupe est actif et flexible et nous pouvons mettre en œuvre toute fonction dont vous avez besoin.
Super que votre réponse comprend des instructions sur la façon de l'obtenir sous les fenêtres, merci. – Daniel