Contents Tour Language Library CP Tutorial Tools Index
The tutorial is based on the documents [1] Finite Domain Constraint Programming in Oz. A Tutorial. by Christian Schulte and Gert Smolka and [2] Problem Solving with Finite Set Constraints in Oz. A Tutorial. by Tobias Müller