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

Other Useful Business Software

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

Rate This Project

User Reviews

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

Science/Research

2004-11-18

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

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
ABsolver
A constraint solver framework.
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.