trace format for finite domain solvers

Brought to you by: deransar, jdfekte

Last Update: 2013-03-07

The purpose of this project is to build a repository of constraint problems with the objective to develop experiences in observation of constraint solving. Provisory project site: see http://contraintes.inria.fr/OADymPPaC/Net/tra4cp/www/index.html

Project Activity

See All Activity >

Follow trace format for finite domain solvers

trace format for finite domain solvers Web Site

Other Useful Business Software

Veeam Data Platform v13.1

Move workloads across hypervisors and clouds with no vendor lock-in. Try VDP free today.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try Now

Rate This Project

User Reviews

Be the first to post a review of trace format for finite domain solvers!

Additional Project Details

Intended Audience

Science/Research

Registered

2004-11-18

Report inappropriate content

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free

Recommended Projects

ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
CADTools
A parametric, feature-based, sketch-driven 3D CAD application, built around a geometrical constraint solving engine. Project is in early development stage. The FreeSG library (http://freesg.org/) is required.
OR-Tools - Google Optimization Tools
Google's software suite for combinatorial optimization
JaCoP
JaCoP is a Java Constraint Programming solver. It provides a significant number of (global) constraints to facilitate efficient modeling of combinatorial problems, as well as modular design of search. Documentation is available at project Web site. Please, note that the sources from version 4.0 are only available at GitHub.
elisa
Elisa is an open C++ library for constraint programming and constraint solving techniques. Interval-based algorithms for solving continuous constraints require that Gaol (http://sf.net/projects/gaol) is already installed on your system.