Invia software
  1. Casa
  2. Windows
  3. Altro
  4. RedSam

RedSam

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti
Scaricare

Constraint Satisfaction Problems Solver for Binary constraints, file di input in XML con il formato corrente XCSP 2.1, adottato per la competizione risolutore CSP/MaxCSP/WCSP del 2008. Il risolutore è in C++ e utilizza la libreria boost

cronologia delle versioni

  • Versione RedSam pubblicato il 2008-03-26
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2008-03-26

Dettagli del programma

Programmi correlati

  • VSource PHP Image Reflection Script Gratuito

    Questo PHP Image Reflection Script emetterà un'immagine con una reflection generataÈ sufficiente un parametro di immagine tra gli altri parametri e restituisce un'immagine non elaborati da visualizzare in un browser. Supporta

  • wmpower Gratuito

    wmpower è un'applicazione dock window maker per Linux che consente all'utente di vedere (e impostare) lo stato di risparmio energetico del suo laptop. Scritto in C, funziona con kernel abilitati sia APM che ACPI. Si interfacc

  • FortCUDA Gratuito

    Questo progetto è per gli attacchi CUDA nell'F95/2003 utilizzando il modulo di ISO_C_BINDINGS Fortran 2003. È destinato a fornire una sintassi di chiamata quasi nativa all'SDK CUDA in Fortran 2003. Attualmente, la maggior par

  • Neurophysiology Analysis Toolkit Gratuito

    Un pacchetto open source per l'analisi dei dati neurofisiologici: elaborazione offline (vs in tempo reale) di treni a picco a neurone singolo o dati EEG associati a processi di comportamento e memoria. Attualmente MATLAB pesa

  • Lojban Glossary Builder Gratuito

    Programma Java per creare un glossario (potenzialmente multilingue) delle parole uniche in un dato testo Lojban.

  • Eclipse XML based SRS Gratuito

    EMF 2.0 ha generato il plug-in Eclipse per produrre una specifica di requisiti software basata su XML, incentrata sul caso d'uso, con collegamento a documenti esterni e componenti software risultanti. Genera report HTML sofis

  • Fitnium Gratuito

    Combinazione di FitNesse e Selenium, fornendo un langauge specifico del dominio che consente a nessuno sviluppatori di scrivere test di selenio in inglese semplice che vengono eseguiti attraverso il framework Fitnesse. Suppor

  • Kyumo: Kyu Jong Memo Widget Prova gratuita

    Funzionalità:- Puoi mettere più memo sullo schermoDa allora./To. conteggio giorni/conto alla rovescia supportati- 3 colori possono essere scelti - Set di icone di Kyu Jong e SS501- Quando si conto alla rovescia pe

  • The Pirate Bay Browser Gratuito

    Questa applicazione non recupera alcuna informazione personale dal dispositivo***Gli annunci sono ciò che mantiene questa applicazione gratuita, L'autorizzazione GPS è richiesta dalla funzione annunci, questo si attiva solo a

  • axdistcc Gratuito

    axdistcc è un piccolo liveCD con il distcc, rende possibile una facile creazione di una farm di compilazione. Utilizza come sistema di base lo Slackware Linux 11.0 e uno script linux-live modificato.