Invia software
  1. Casa
  2. Linux
  3. Altro
  4. S-SAT - Sapienza SAT

S-SAT - Sapienza SAT 06

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

Durante un corso presso l'Università "La Sapienza" di Roma ho sviluppato un risolutore SAT completamente funzionante basato sulla propagazione delle unità e sul backtracking; può leggere i file DIMACS ed elaborare formule cnf di qualsiasi lunghezza (non ci sono restrizioni sul numero di valori letterali).

cronologia delle versioni

  • Versione s-sat06.beta1 pubblicato il 2009-02-14
    Diverse correzioni e aggiornamenti
  • Versione s-sat06.beta1 pubblicato il 2009-02-14

Dettagli del programma

Programmi correlati

  • KJV Bible (fortune format) Gratuito

    Bibbia KJV in formato unix fortune. Ogni *fortuna* è un singolo verso. Abbastanza bello per gli utenti di unix shell e per coloro che desiderano generare un "preventivo del giorno" con cron

  • Algebra Cheat Sheet Gratuito

    Algebra Cheat Sheet fornisce il rapido riferimento delle formule in Algebra.Gli argomenti includono:1. Proprietà e fatti di base (include proprietà di radicali, esponenti, logaritmi ecc.,2. Equazioni di factoring e riso

  • Word Trainer Gratuito

    Il modo più semplice per praticare il vocabolario nel tuo dispositivo Android!Ti manca la tua lingua madre? Vuoi aggiungere altre parole interessanti? Sentiti libero di contribuire al database e aiuterai altre persone a p

  • VOX Compact Spanish + Thesauru Prova gratuita

    Questo pacchetto software di valore è costituito da Vox Spanish Advanced Dictionary e dall'eccellente Thesaurus in lingua spagnola Vox. Il Vox Spanish Advanced Dictionary offre significati, esempi, idiomi ed espressioni ed

  • Zelda all series Cheats Gratuito

    **Aggiorna già il formato dell'annuncio in conformità con la politica del programma per sviluppatori di Google Play**Trucchi pratici: Zelda tutte le serieFeature dell'applicazione includono:-Raccolte di trucchi e codici per L

  • Sai Satcharitra English Prova gratuita

    Ora disponibile anche in hindi - https://market.android.com/details?id=com.mgw.SaiSatCharitraHindiOm Shree Sainathaya Namah!!!Satcharitra di Shirdi Sai Baba in inglese - 52 capitoli tra cui Aarti ed Epilogo.Satchari

  • Pro Cheats Pokemon White 2 Edn Gratuito

    Questa app include codici, trucchi, pokedex, guida leggendaria ai Pokemon, modifiche ai modulo, top 10 Pokemon by Stat, suggerimenti e molto altro per Pokemon White 2!*Questa app non è ufficiale, leggi Disclaimer in fondo all

  • Conquest Flex Viewer Gratuito

    ConquestWebView è un visualizzatore dicom basato sul Web per l'applicazione server dicom di conquista disponibile http://www.xs4all.nl/~ingenium/dicom.html. Il progetto è scritto in PHP e Flex. Si noti che il sistema converte

  • Atmel AT90USB 802.11g Wireless Project Gratuito

    Questo progetto fornisce una soluzione economica alla comunicazione wireless da 802,11 g utilizzando hardware e tecnologie open source. In questo modo vengono utilizzano il micro Atmel AT90USB e il chipset wireless ZyDas ZD12

  • LDS Hymns with Notes Prova gratuita

    Questa è un'app non ufficiale con la musica della Chiesa di Gesù Cristo dei Santi degli Ultimi Giorni!Contiene gli inni LDS in inglese, spagnolo, francese e portoghese!Questa app ti consente di visualizzare gli inni LD