Submit Software
  1. Home
  2. Windows
  3. Other
  4. RedSam

RedSam

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes
Download

Constraint Satisfaction Problems Solver for Binary constraints, input files in XML with the current format XCSP 2.1, adopted for the 2008 CSP/MaxCSP/WCSP solver competition. The solver is in C++ and use the boost library

VERSION HISTORY

  • Version RedSam posted on 2008-03-26
    Several fixes and updates
  • Version N/A posted on 2008-03-26

Program Details

Related Programs

  • VSource PHP Image Reflection Script Free

    This PHP Image Reflection Script will output an image with a generated reflectionIt simply takes an image parameter among other parameters and outputs a raw image for display in a browser. Supports input formats: GIF, JPG, PN

  • wmpower Free

    wmpower is a Window Maker dock application for Linux allowing the user to see (and set) the power management status of his laptop. Written in C, works with both APM and ACPI enabled kernels. It also interfaces directly to Tos

  • FortCUDA Free

    This project is for CUDA bindings in F95/2003 using the Fortran 2003 ISO_C_BINDINGS module. It is intended to give near native call syntax to the CUDA SDK in Fortran 2003. Currently, most Fortran compilers are supporting the

  • Neurophysiology Analysis Toolkit Free

    An open-source package for analysis of neurophysiological data-- offline (vs real-time) processing of single-neuron spike trains or EEG data associated with behavior and memory processes. Currently MATLAB heavy, with some Win

  • Lojban Glossary Builder Free

    Java program to create a (potentially multilingual) glossary of the unique words in any given Lojban text.

  • Eclipse XML based SRS Free

    EMF 2.0 generated Eclipse plugin to produce an XML Based, Use Case centric, Software Requirements Specification with linkage to external documents and resulting software components. Generates sophisticated html reports. Based

  • Fitnium Free

    Combination of FitNesse and Selenium, providing a domain specific langauge that allows none developers to write selenium tests in plain english that are executed through the Fitnesse framework. Support http://groups.google.co

  • Kyumo: Kyu Jong Memo Widget Free Trial

    Feature:- You can put multiple memo on your screen- Since./To. day counting/countdown supported- 3 colors can be chosed - Set of Kyu Jong and SS501's icons- When countdown to D-1 and D-0, a notification will be shownHow to ad

  • The Pirate Bay Browser Free

    ***This application does not retrieve any personal information from device***Ads are what keep this application free, The GPS permission is required by the ads function, this only triggers in order for the ads function to tar

  • axdistcc Free

    axdistcc is a small liveCD with the distcc, it makes possible an easy creation of a compilation farm. It uses as base system the Slackware Linux 11.0 and a modified linux-live scripts.