Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. Parallel Sat4J

Parallel Sat4J 0.01

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 5.0/5 - ‎1 ‎Stemmen
Downloaden

Dit is een academisch project; het belangrijkste doel is om een algoritme te genereren om een CNF-formule te paralleliseren en vervolgens de gedistribueerde onderdelen te voeden aan sequentiële SAT-oplossers, voor dit project hebben we ervoor gekozen om Sat4J als oplosser te gebruiken.

versiegeschiedenis

  • Versie 0.01 geplaatst op 2008-03-26
    Verschillende oplossingen en updates
  • Versie 0.01 geplaatst op 2008-03-26

Programmadetails

Gerelateerde programma's

  • Visualgos Gratis

    Visualgos is een verzameling visualisaties voor algoritmen geschreven in Flash. U alle visualisaties op http://yuval.bar-or.org/index.php?item=7

  • wxWorkshop Gratis

    wxWorkshop is een IDE framework en RAD tool voor het ontwikkelen van applicaties op basis van het wxWidgets cross-platform GUI framework voor C++ en Python (wxPython). Het beschikt over een high-performance editor voor het on

  • Unit Test Framework Gratis

    Een C++ unit test framework voor Windows met zowel een grafische en consoleweergave die alleen de Windows API om compatibiliteit met alle Windows C++ te helpen samenstellers en kaders

  • Contact: AndroidBinding Demo Gratis proefperiode

    Dit is een andere demo voor Android Binding, die is gebaseerd op de officiële Android Contact Manager Sample: http://developer.android.com/resources/samples/ContactManager/index.htmlDit is een voorbeeld dat laat zien hoe

  • Poetica Studios Java Library Gratis

    Een algemene Java bibliotheek gebruikt door alle Poetica Studios Java software producten. De bibliotheek bevat hulpprogramma's, variërend in gebruik van serialisatie tot arrays tot foutopsporing en bevat veel nuttige klassen

  • Remote Code Execution for BlueJ Gratis

    Dit project breidt de BlueJ Java IDE uit. Het doel is om netwerkmogelijkheden toe te voegen aan de BlueJ-interface via BlueJ's extensions API. Aangezien BlueJ het meest geschikt is voor het onderwijzen van Java aan nieuwe pro

  • Radiation calculator Gratis proefperiode

    De app berekent dosissnelheden etc. uitgaande van een puntbron in vacuüm en lineaire demping in afschermingsmaterialen. Isotopen en afschermingsmaterialen kunnen worden toegevoegd, verwijderd of gewijzigd.De vooraf gedefi

  • Fermion Programming Language Gratis

    De Fermion Programmeertaal is een dynamische, objectgeoriënteerde, case ongevoelige programmeertaal. De eenvoud van de taal maakt Fermion een goede leer- en prototyping taal voor alle niveaus van programmeurs.

  • Nmdepend Gratis

    Nmdepend is een lichtgewicht 'link-time' afhankelijkheidsanalyse voor C++. Het maakt gebruik van objectbestanden en bibliotheken in plaats van broncode als invoer. Het kan helpen bij het beheren van 'cross-directory' afhankel

  • Awakener Gratis

    Awakener streeft ernaar om een Java-bibliotheek te bieden voor het oplossen van praktische, echte optimalisatieproblemen door middel van genetische algoritmen (turnkey-algoritmen voor >= 90% van de industrieproblemen). Awa