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

You Might Also Like
Gain insights and build data-powered applications Icon
Gain insights and build data-powered applications

Your unified business intelligence platform. Self-service. Governed. Embedded.

Chat with your business data with Looker. More than just a modern business intelligence platform, you can turn to Looker for self-service or governed BI, build your own custom applications with trusted metrics, or even bring Looker modeling to your existing BI environment.
Rate This Project
Login To 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