XML-SAT
Vous pourrez télécharger en 5 secondes.
Vous pouvez également cliquer sur le lien de téléchargement externe suivant pour commencer le téléchargement :
http://sourceforge.net/projects/xml-sat/files/release/xml-sat-0.1.zip/download
Sur XML-SAT
Un solveur SAT modulaire basé sur Minisat. Les modules sont décrits dans les fichiers XML, qui sont traités par un script perl; générant ainsi des n-solveurs.
Programmes connexes
-
TimeSignalForDroid Gratuit
L’heure toutes les heures et vous avertir en vibrant.Remarquez le temps à la voix japonaise.
-
SVATS Gratuit
SVATS [Safety Verification Analysis added To Spice] est un outil pyhton écrit EDA utilisé pour ajouter des capacités d’analyse répétitive pour effectuer des FMEA sur des circuits analogiques et mixtes analogiques numériques é
-
Cube Language Specification Gratuit
Cube language est le nouveau langage de programmation, basé sur le nouvel aproach : la programmation multidimensionnelle. Le but de ce projet est d’inviter les professionnels à une discussion ouverte sur la langue et de créer
-
Arrowhead Collector Gratuit
L’application « doit avoir » pour les collecteurs de surface de pointes de flèches. Voici un point culminant des fonctionnalités que vous trouverez très utiles:- pour un artefact nouvellement trouvé enregistrer son emplac
-
eYe project Gratuit
eYe Project est une distribution de Sambar Webserver, mysql base de données et PhP dans un enviroment Windows. Complet configuré, prêt à l’emploi. Il ya aussi beaucoup de modules disponibles pour une utilisation dans ce proje
-
Apache Analyzer Gratuit
Apache Analyzer est un package d’application Java pour analyser et analyser les journaux Apache. Les rapports sont préparés sous forme de fichiers PDF. OCEAN GenRap est utilisé pour analyser les données. Consultez les informa
-
OVal - object validation framework Gratuit
OVal est un cadre de validation d’objet extensible pour Java 5 ou plus tard. Les annotations (@NotNull) ou les fichiers de configuration XML peuvent être utilisés pour exprimer les contraintes de classe. OVal peut utiliser En
-
NaturalOWL Gratuit
NaturalOWL génère des descriptions d’individus et de classes à partir d’ontologies OWL qui ont été annotées avec des ressources linguistiques et de modélisation des utilisateurs exprimées dans RDF. Actuellement, il prend en c
-
NetBeans Source Viewer Service Plugin Gratuit
Un plugin NetBeans exposant un service TCP simple donnant aux clients externes des capacités de base de visualisation et de navigation du code source Java. Contribution de softwarepearls.com. Codé par Ivo Tripunovic et Lauren
-
Spam Agent - SMS Filter Gratuit
Fatigué de spam SMS? Spam Agent est un filtre SMS intelligent qui utilise des techniques d’apprentissage automatique pour détecter et bloquer le spam. Oubliez les listes noires encombrantes, marquez simplement les messages no