2 What is Concurrent Constraint Programming?

Concurrent constraint programming is a form of constraint programming. Constraint programming provides a method for solving combinatorial problems, which comes with a well-developed technology. Combinatorial problems are traditionally formulated as logical formulas that are called constraints. Solving combinatorial problems is inherently difficult because of the disjunctive character of combinatorics.

• 2.2 Getting Started with Oz
  • 2.2.1 Installation
    • Common Problems
  • 2.2.2 Programming Environment

• 2.3 Solving a Combinatorial Problem
  • 2.3.1 Bits of a Constraint Solver
  • 2.3.2 Observing Propagation
  • 2.3.3 Composing the Solver
  • 2.3.4 Was this a good Example?
  • 2.3.5 Questions

• 2.4 Exercise

• 2.5 Summary

• 2.6 Program Collection