Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. XML-SAT

XML-SAT

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎1 ‎Votes
Télécharger

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.

historique de la version

  • Version release posté sur 2010-04-24
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2010-04-24

Détails du programme

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