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

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow RedSam

RedSam Web Site

User Reviews

Be the first to post a review of RedSam!

Additional Project Details

Intended Audience

Other Audience

User Interface

Command-line

Programming Language

C++

Related Categories

C++ Information Analysis Software

Registered

2008-03-13

Similar Business Software

Analytic Solver

Analytic Solver Optimization - 100% upward compatible from the Excel Solver - handles every type and size of the conventional optimization problem (without uncertainty). Unlike other optimization software, it algebraically analyzes your model structure and maximally exploits multiple cores in...

See Software
Simcenter Nastran

Simcenter Nastran is a premier finite element method (FEM) solver for computational performance, accuracy, reliability and scalability. Simcenter Nastran includes powerful solutions for linear and nonlinear structural analysis, structural dynamics, acoustics, rotor dynamics, aeroelasticity,...

See Software
Moldflow

Moldflow® simulation software lets you troubleshoot problems with plastic injection and compression molding. Advanced tools and a simplified user interface help you address manufacturing challenges, such as part warpage, cooling channel efficiency, and cycle time reduction. Connect product...

See Software

Report inappropriate content