CPI of DFKI Oz
Object-oriented structure, C++ classes for
propagators
variables
domains
All library propagators are available through CPI
consistency
rich set of examples
many convenient C++ macros and operators predefined
Previous slide
Next slide
Back to first slide
View graphic version