Invia software
  1. Casa
  2. Windows
  3. Altro
  4. Parallel Sat4J

Parallel Sat4J 0.01

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti
Scaricare

Si tratta di un progetto accademico; l'obiettivo principale è quello di generare un algoritmo per parallelizzare una formula CNF e quindi alimentare le parti distribuite ai risolutori SAT sequenziali, per questo progetto abbiamo scelto di utilizzare Sat4J come risolutore.

cronologia delle versioni

  • Versione 0.01 pubblicato il 2008-03-26
    Diverse correzioni e aggiornamenti
  • Versione 0.01 pubblicato il 2008-03-26

Dettagli del programma

Programmi correlati

  • Visualgos Gratuito

    Visualgos è una raccolta di visualizzazioni per algoritmi scritti in Flash. Puoi vedere tutte le visualizzazioni su http://yuval.bar-or.org/index.php?item=7

  • wxWorkshop Gratuito

    wxWorkshop è un framework IDE e uno strumento RAD per lo sviluppo di applicazioni basate sul framework GUI multipiattaforma wxWidgets per C++ e Python (wxPython). È dotato di un editor ad alte prestazioni per la progettazione

  • Unit Test Framework Gratuito

    Un framework di unit test C++ per Windows con visualizzazione grafica e console che utilizza solo il API Windows per aiutare la compatibilità con tutti i C++ di Windows compilatori e framework

  • Contact: AndroidBinding Demo Prova gratuita

    Questa è un'altra demo per Android Binding, che si basa sull'esempio ufficiale di Android Contact Manager: http://developer.android.com/resources/samples/ContactManager/index.htmlQuesto è un esempio che mostra come l'util

  • Poetica Studios Java Library Gratuito

    Una libreria Java generale utilizzata da tutti i prodotti software Java di Poetica Studios. La libreria include utilità che vanno dalla serializzazione alle matrici al debug e include molte classi utili come puntatori a ogge

  • Remote Code Execution for BlueJ Gratuito

    Questo progetto estende l'IDE Java BlueJ. Ha lo scopo di aggiungere funzionalità di rete all'interfaccia BlueJ attraverso l'API delle estensioni di BlueJ. Poiché BlueJ è più adatto per insegnare Java ai nuovi programmatori, q

  • Radiation calculator Prova gratuita

    L'app calcola le intensità di dose ecc. assumendo una sorgente puntiva nel vuoto e l'attenuazione lineare nei materiali di schermatura. Isotopi e materiali di schermatura possono essere aggiunti, cancellati o modificati.L

  • Fermion Programming Language Gratuito

    Il Fermion Programming Language è un linguaggio di programmazione dinamico ad alto livello, orientato agli oggetti e senza distinzione tra maiuscole e minuscole. La semplicità della lingua rende fermion un buon linguaggio di

  • Nmdepend Gratuito

    Nmdepend è un analizzatore di dipendenze leggero 'link-time' per C++. Utilizza file di oggetti e librerie invece del codice sorgente come input. Può aiutare a gestire le dipendenze 'cross-directory'. Le dipendenze possono ess

  • Awakener Gratuito

    Awakener mira a fornire una libreria Java per risolvere problemi pratici di ottimizzazione del mondo reale attraverso algoritmi genetici (algoritmi chiavi in mano per >= 90% dei problemi del settore). Awakener estende Slee