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

Go from Code to Production URL in Seconds

Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.

Start Free

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

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

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
FRODO 2
Open-Source Framework for Distributed Constraint Optimization (DCOP)
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.