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

Earn up to 16% annual interest with Nexo.

Access competitive interest rates on your digital assets.

Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.

Get started with Nexo.

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

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

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.