Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. RedSam
  5. Download

RedSam

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.0/5 - ‎1 ‎Votos

acerca de RedSam

Solución de problemas de satisfacción de restricciones para restricciones binarias, archivos de entrada en XML con el formato actual XCSP 2.1, adoptados para la competencia de solucionador CSP/MaxCSP/WCSP de 2008. El solucionador está en C++ y usa la biblioteca boost

Programas relacionados

  • VSource PHP Image Reflection Script Gratis

    Este script de reflexión de imagen PHP emitirá una imagen con un reflejo generadoSi simplemente toma un parámetro de imagen entre otros parámetros y genera una imagen sin procesar para su visualización en un navegador. Soport

  • wmpower Gratis

    wmpower es una aplicación de acoplamiento Window Maker para Linux que permite al usuario ver (y establecer) el estado de administración de energía de su computadora portátil. Escrito en C, funciona con kernels habilitados par

  • FortCUDA Gratis

    Este proyecto es para enlaces CUDA en F95/2003 utilizando el módulo de ISO_C_BINDINGS Fortran 2003. Está diseñado para dar sintaxis de llamada casi nativa al SDK de CUDA en Fortran 2003. Actualmente, la mayoría de los compila

  • Neurophysiology Analysis Toolkit Gratis

    Un paquete de código abierto para el análisis de datos neurofisiológicos-- procesamiento fuera de línea (vs en tiempo real) de trenes de pico de una sola neurona o datos EEG asociados con procesos de comportamiento y memoria.

  • Lojban Glossary Builder Gratis

    Programa Java para crear un glosario (potencialmente multilinguista) de las palabras únicas en cualquier texto Lojban dado.

  • Eclipse XML based SRS Gratis

    EMF 2.0 generó el plugin Eclipse para producir una especificación de requisitos de software basada en XML, centrada en casos de uso, con vinculación a documentos externos y componentes de software resultantes. Genera informes

  • Fitnium Gratis

    Combinación de FitNesse y Selenium, proporcionando un dominio específico de langauge que no permite a ningún desarrollador escribir pruebas de selenio en inglés simple que se ejecutan a través del marco Fitnesse. Soporte http

  • Kyumo: Kyu Jong Memo Widget Prueba gratuita

    Característica:- Puede poner múltiples notas en la pantalla- Desde./Para. conteo de días/ cuenta regresiva apoyada- 3 colores se pueden elegir - Conjunto de iconos de Kyu Jong y SS501- Cuando la cuenta regresiva p

  • The Pirate Bay Browser Gratis

    Esta aplicación no recupera ninguna información personal del dispositivo ***Anuncios son lo que mantienen esta aplicación libre, El permiso GPS es requerido por la función de anuncios, esto sólo se activa con el fin de que la

  • axdistcc Gratis

    axdistcc es un pequeño liveCD con el distcc, hace posible una fácil creación de una granja de compilación. Utiliza como sistema base el Slackware Linux 11.0 y un linux-live modificado scripts.