Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. RedSam

RedSam

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

Résolution de problèmes de satisfaction de contrainte pour les contraintes binaires, fichiers d’entrée dans XML avec le format actuel XCSP 2.1, adopté pour le concours de solveur CSP/MaxCSP/WCSP 2008. Le solveur est en C++ et utilise la bibliothèque boost

historique de la version

  • Version RedSam posté sur 2008-03-26
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2008-03-26

Détails du programme

Programmes connexes

  • VSource PHP Image Reflection Script Gratuit

    Ce script de réflexion d’image PHP va sortie d’une image avec une réflexion généréeIl prend simplement un paramètre d’image parmi d’autres paramètres et sort une image brute pour l’affichage dans un navigateur. Prend en charg

  • wmpower Gratuit

    wmpower est une application de dock Window Maker pour Linux permettant à l’utilisateur de voir (et de définir) l’état de gestion de l’alimentation de son ordinateur portable. Ecrit en C, fonctionne avec les grains compatibles

  • FortCUDA Gratuit

    Ce projet s’adresse aux reliures CUDA en F95/2003 à l’aide du module ISO_C_BINDINGS Fortran 2003. Il est destiné à donner la syntaxe d’appel presque natif à la SDK CUDA dans Fortran 2003. Actuellement, la plupart des compilat

  • Neurophysiology Analysis Toolkit Gratuit

    Un paquet open-source pour l’analyse des données neurophysiologiques - traitement hors ligne (vs en temps réel) des trains à pointes mono-neurones ou des données EEG associées aux processus de comportement et de mémoire. Actu

  • Lojban Glossary Builder Gratuit

    Programme Java pour créer un glossaire (potentiellement multilingue) des mots uniques dans un texte Lojban donné.

  • Eclipse XML based SRS Gratuit

    EMF 2.0 a généré le plugin Eclipse pour produire une spécification des exigences logicielles centrée sur XML, use case, avec liaison avec des documents externes et des composants logiciels qui en résultent. Génère des rapport

  • Fitnium Gratuit

    Combinaison de FitNesse et Selenium, fournissant un langauge spécifique au domaine qui ne permet à aucun développeurs d’écrire des tests de sélénium en anglais clair qui sont exécutés à travers le cadre Fitnesse. Soutien http

  • Kyumo: Kyu Jong Memo Widget Essai gratuit

    Fonction:- Vous pouvez mettre plusieurs mémo sur votre écran- Depuis./To. comptage de jour/compte à rebours pris en charge- 3 couleurs peuvent être choisies - Ensemble d’icônes de Kyu Jong et SS501- Lorsque le com

  • The Pirate Bay Browser Gratuit

    Cette application ne récupère aucune information personnelle de l’appareil ***Les annonces sont ce qui maintiennent cette application libre, l’autorisation GPS est exigée par la fonction annonces, cela ne se déclenche que pou

  • axdistcc Gratuit

    axdistcc est un petit liveCD avec le distcc, il permet la création facile d’une ferme de compilation. Il utilise comme système de base le Slackware Linux 11.0 et un modifié linux-live scripts.