Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. Parallel Sat4J

Parallel Sat4J 0.01

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 5.0/5 - ‎1 ‎Votes
Télécharger

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.

historique de la version

  • Version 0.01 posté sur 2008-03-26
    Plusieurs correctifs et mises à jour
  • Version 0.01 posté sur 2008-03-26

Détails du programme

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