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

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

Start Free

Rate This Project

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
Model Predictive Control Toolbox

Model Predictive Control Toolbox™ provides functions, an app, Simulink® blocks, and reference examples for developing model predictive control (MPC). For linear problems, the toolbox supports the design of implicit, explicit, adaptive, and gain-scheduled MPC. For nonlinear problems, you can...

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
SolveSpace

SOLVESPACE is a free (GPLv3) parametric 3d CAD tool. Modeling 3d parts, drawing with extrudes, revolves, helixes and Boolean (union/difference/intersection) operations. Modeling 2d parts, draw the part as a single section, and export DXF, PDF, SVG; use 3d assembly to verify fit. 3D-printed...

See Software
Tidy3D

Tidy3D is Flexcompute's ultrafast electromagnetic (EM) solver. The solver is based on the finite-difference time-domain (FDTD) method. Thanks to the highly optimized co-design of software and hardware, Tidy3D runs simulations orders of magnitude faster than other EM solvers on the market. With...

See Software