XML-SAT
Sarai in grado di scaricare in 5 secondi.
Puoi anche fare clic sul seguente link per il download esterno per iniziare il download:
http://sourceforge.net/projects/xml-sat/files/release/xml-sat-0.1.zip/download
Circa XML-SAT
Un risolutore SAT modulare basato su Minisat. I moduli sono descritti in file XML, che vengono elaborati da uno script perl; generando così n-risolutori.
Programmi correlati
-
TimeSignalForDroid Gratuito
L'ora ogni ora e avvisarti vibrando.Notate l'ora della voce giapponese.
-
SVATS Gratuito
SVATS [Safety Verification Analysis added To Spice] è uno strumento EDA scritto pyhton utilizzato per aggiungere capacità di analisi ripetitive per eseguire FMEA su circuiti elettronici analogici e misti analogico-digitali ut
-
Cube Language Specification Gratuito
Il linguaggio Cube è il nuovo linguaggio di programmazione, basato sul nuovo approccio: la programmazione multidimensionale. Lo scopo di questo progetto è quello di invitare i professionisti a una discussione aperta sul lingu
-
Arrowhead Collector Gratuito
L'applicazione "must have" per i raccoglitori di superfici di punte di freccia. Ecco un punto culminante delle funzionalità che troverai molto utili:- per un manufatto appena trovato registrare la sua posizione con il GPS
-
eYe project Gratuito
eYe Project è una distribuzione di Sambar Webserver, MySql database e PhP in un ambiente Windows. Completo configurato, pronto all'uso. Ci sono anche molti moduli disponibili per l'uso in questo progetto. Il concetto è quello
-
Apache Analyzer Gratuito
Apache Analyzer è un pacchetto di applicazioni Java per l'analisi e l'analisi dei log Apache. I report vengono preparati come file PDF. OCEAN GenRap viene utilizzato per analizzare i dati. Vedere le informazioni generali nell
-
OVal - object validation framework Gratuito
OVal è un framework di convalida degli oggetti estensibile per Java 5 o versione successiva. Le annotazioni (@NotNull) o i file di configurazione XML possono essere utilizzati per esprimere vincoli di classe. OVal può facolta
-
NaturalOWL Gratuito
NaturalOWL genera descrizioni di individui e classi da ontologie OWL che sono state annotate con risorse di modellazione linguistica e utente espresse in RDF. Attualmente supporta l'inglese e il greco. NaturalOWL può essere u
-
NetBeans Source Viewer Service Plugin Gratuito
Un plug-in NetBeans che espone un semplice servizio TCP che offre ai client esterni funzionalità di base di visualizzazione e navigazione del codice sorgente Java. Contributo di softwarepearls.com. Codificato da Ivo Tripunovi
-
Spam Agent - SMS Filter Gratuito
Stanco dello spam SMS? Spam Agent è un filtro SMS intelligente che utilizza tecniche di machine learning per rilevare e bloccare lo spam. Dimentica le liste nere ingombranti, contrassegna semplicemente i messaggi non richiest