RedSam
You'll be able to download in 5 seconds.
You can also click on the following External Download Link to start download:
http://sourceforge.net/projects/redsam/files/redsam/RedSam/RedSamV1.zip/download
ABOUT RedSam
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
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.