Top

The Mozart Constraint Extensions Reference

Tobias Müller

This reference manual explains all abstractions provided to extend Mozart Oz 3 constraint capabilities. It is intended to be used in conjunction with the document ``The Mozart Constraint Extensions Tutorial''.

• Table of Contents

• 1 Implementing Propagators

• 2 Building Constraint Systems from Scratch

• 3 Employing Linear Programming Solvers

• 4 Propagation Engine Library

• Index