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

Level Up Your Cyber Defense with External Threat Management

See every risk before it hits. From exposed data to dark web chatter. All in one unified view.

Move beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.

Try for Free

Rate This Project

User Reviews

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

Science/Research

2004-11-18

Recommended Projects

OR-Tools - Google Optimization Tools
Google Optimization Tools, also known as OR-Tools is an open-source, fast and portable software suite for solving combinatorial optimization problems. These encompass problems in vehicle routing, flows, integer and linear programming, and constraint programming. This suite contains a number of...
ECLiPSe CLP
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.
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.
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...
realpaver
RealPaver is a modeling language for solving mixed-integer nonlinear constraint systems.