Questa è l'app Linux chiamata Parallel Sat4J, la cui ultima versione può essere scaricata come org.tar.gz. Può essere eseguita online sul provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app denominata Parallel Sat4J con OnWorks gratuitamente.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.
- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione, installala ed eseguila.
Parallelo Sat4J
Ad
DESCRIZIONE
Questo è un progetto accademico; l'obiettivo principale è generare un algoritmo per parallelizzare una formula CNF e quindi alimentare le parti distribuite a risolutori SAT sequenziali, per questo progetto abbiamo scelto di utilizzare Sat4J come risolutore.Pubblico
Istruzione
Interfaccia utente
Win32 (MS Windows)
Linguaggio di programmazione
Java
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/parallelsat4j/. È stato ospitato in OnWorks per essere eseguito online in modo più semplice da uno dei nostri sistemi operativi gratuiti.
