Documentation is available in HTML and postscript . CHIP is also augmented with a delay control mechanism. The global constraints are particularly useful for various scheduling and optimization problems. CHIP was originally developed at ECRC in Munich. The CHIP system is only licensed to the machine petfrix .
Online manuals are available locally .
Sample programs are available in the system. Oz provides the salient features of object-oriented programming including state, abstract data types, objects, classes, and inheritance. It provides the salient features of logic programming and constraint programming including logic variables, constraints, disjunction constructs, and programmable search mechanisms. It allows users to dynamically create any number of sequential threads. The threads are dataflow threads in the sense that a thread executing an operation will suspend until all operands needed have a well-defined value.