Parallel Sat4J 0.01
Vous pourrez télécharger en 5 secondes.
Vous pouvez également cliquer sur le lien de téléchargement externe suivant pour commencer le téléchargement :
http://sourceforge.net/projects/parallelsat4j/files/parallelsat4j/0.01/org.tar.gz/download
Sur Parallel Sat4J
Il s’agit d’un projet académique; l’objectif principal est de générer un algorithme pour paralléliser une formule CNF, puis alimenter les pièces distribuées aux solveurs SAT séquentiels, pour ce projet, nous avons choisi d’utiliser Sat4J comme solveur.
Programmes connexes
-
Visualgos Gratuit
Visualgos est une collection de visualisations pour algorithmes écrits en Flash. Vous pouvez voir toutes les visualisations sur http://yuval.bar-or.org/index.php?item=7
-
wxWorkshop Gratuit
wxWorkshop est un cadre IDE et un outil RAD pour le développement d’applications basées sur le cadre gui multiplateforme wxWidgets pour C++ et Python (wxPython). Il dispose d’un éditeur haute performance pour la conception vi
-
Unit Test Framework Gratuit
Un cadre de test unitaire C++ pour Windows avec à la fois un graphique et l’affichage de la console qui n’utilise que le API Windows pour faciliter la compatibilité avec tous les Windows C++ compilateurs et cadres
-
Contact: AndroidBinding Demo Essai gratuit
Il s’agit d’une autre démo pour Android Binding, qui est basé sur l’échantillon officiel Android Contact Manager: http://developer.android.com/resources/samples/ContactManager/index.htmlIl s’agit d’un exemple montrant com
-
Poetica Studios Java Library Gratuit
Une bibliothèque Java générale utilisée par tous les logiciels Poetica Studios Java. La bibliothèque comprend des utilitaires allant de la sérialisation aux tableaux en plus du débogage et comprend de nombreuses classes util
-
Remote Code Execution for BlueJ Gratuit
Ce projet étend le BlueJ Java IDE. Il vise à ajouter des fonctionnalités de réseautage à l’interface BlueJ grâce aux extensions API de BlueJ. Étant donné que BlueJ est le plus adapté pour enseigner Java aux nouveaux programme
-
Radiation calculator Essai gratuit
L’application calcule les taux de dose, etc. en supposant une source de points dans le vide et l’atténuation linéaire dans les matériaux de blindage. Les isotopes et les matériaux de blindage peuvent être ajoutés, supprimés
-
Fermion Programming Language Gratuit
Le langage de programmation Fermion est un langage de programmation dynamique de haut niveau, orienté objet et insensible aux cas. La simplicité de la langue fait de Fermion un bon langage d’apprentissage et de prototypage po
-
Nmdepend Gratuit
Nmdepend est un analyseur de dépendance léger « link-time » pour C++. Il utilise des fichiers d’objets et des bibliothèques au lieu du code source comme entrée. Il peut aider à gérer les dépendances « cross-directory ». Les d
-
Awakener Gratuit
Awakener vise à fournir une bibliothèque Java pour résoudre des problèmes pratiques d’optimisation du monde réel au moyen d’algorithmes génétiques (algorithmes clés en main pour >= 90% des problèmes de l’industrie). Awaken