TACIT documents

TACIT

Trial Application using Constraint programming in Industrial manufacTuring

Documents related to the project

Helios: A Mathematical Modeling Language for Newton Laurent Michel and Pascal Van Hentenryck
pdf version ps version

Helios: A Modeling Language for Nonlinear Constraint Solving and Global Optimization using Interval Analysis by Pascal Van Hentenryck and Laurent Michel
pdf version ps version

CHIC Lessons on CLP Methodology by André Chamard, Annie Fischler, Dominique-Benoît Guinaudeau and André Guillaud.
html

Documents generated by the project

Note that the delivarables can be found in the internal pages, here.

The review meeting in Mons, Belgium, Feb. 19 1998

Modelling the Ovako domain.
Slides: pdf version
The Ovako application: Constraint model and implementation.
Slides: pdf version ps version

User manuals for the prototypes

The Ovako application (written in Swedish)
pdf version
There is also an English version with some general descriptions about the application.
This document is meant for non-Ovako people and is used during cross-evaluation.
pdf version gzipped postscript version (Warning: the unzipped Postscript file is about 17 MB)

Last modified: Thu Sep 17 11:57:07 MET DST 1998

Send comments and suggestions to emil@sics.se