XML-SAT
Je het binnen 5 seconden downloaden.
U ook op de volgende externe downloadkoppeling klikken om te beginnen met downloaden:
http://sourceforge.net/projects/xml-sat/files/release/xml-sat-0.1.zip/download
Over XML-SAT
Een modulaire SAT oplosser gebaseerd op Minisat. De modules worden beschreven in XML-bestanden, die worden verwerkt door een perl script; het genereren van n-solvers.
Gerelateerde programma's
-
TimeSignalForDroid Gratis
Het uur elk uur en u op de hoogte door te trillen.Let op de tijd aan japanse stem.
-
SVATS Gratis
SVATS [Safety Verification Analysis added To Spice] is een Pyhton geschreven EDA tool die wordt gebruikt voor het toevoegen van repetitieve analyse mogelijkheden om FMEA uit te voeren op analoge en gemengde analoog-digitale e
-
Cube Language Specification Gratis
Kubustaal is de nieuwe programmeertaal, gebaseerd op de nieuwe aproach: multi-dimensionale programmering. Het doel van dit project is om professionals uit te nodigen voor een open discussie over de taal en een specificatie te
-
Arrowhead Collector Gratis
De "must have" applicatie voor oppervlaktecollectoren van pijlpunten. Hier is een hoogtepunt van de functies die u zult vinden om zeer nuttig te zijn:- voor een nieuw gevonden artefact record de locatie met GPS van uw tel
-
eYe project Gratis
eYe Project is een distributie van Sambar Webserver, MySql database en PhP in een Windows omgeving. Volledig geconfigureerd, klaar voor gebruik. Er zijn ook veel modules beschikbaar voor gebruik in dit project. Het concept is
-
Apache Analyzer Gratis
Apache Analyzer is een Java applicatie pakket voor het ontleden en analyseren van Apache logs. Rapporten worden opgesteld als PDF-bestanden. OCEAN GenRap wordt gebruikt om de gegevens te analyseren. Bekijk Algemene informatie
-
OVal - object validation framework Gratis
OVal is een uitbreidbaar objectvalidatieframework voor Java 5 of hoger. Annotaties (@NotNull) of XML-configuratiebestanden kunnen worden gebruikt om klassebeperkingen uit te drukken. OVal kan AspectJ optioneel gebruiken om au
-
NaturalOWL Gratis
NaturalOWL genereert beschrijvingen van individuen en klassen uit OWL-ontologieën die zijn geannoteerd met taalkundige en gebruikersmodelleringsbronnen uitgedrukt in DTO. Momenteel ondersteunt het Engels en Grieks. NaturalOWL
-
NetBeans Source Viewer Service Plugin Gratis
Een NetBeans plugin bloot een eenvoudige TCP-service waardoor externe clients fundamentele Java broncode bekijken en navigeren mogelijkheden. Bijgedragen door softwarepearls.com. Gecodeerd door Ivo Tripunovic en Laurence Vanh
-
Spam Agent - SMS Filter Gratis
Moe van SMS spam? Spam Agent is een slim sms-filter dat machine learning-technieken gebruikt om spam op te sporen en te blokkeren. Vergeet omslachtige zwarte lijsten, gewoon markeren ongevraagde berichten als spam en de agent