See documentation in Documentation.html and Guide.html
Complete reference is in the book "Constraint Programming Languages" by Wm Leler
