iZ-C Tutorial

Contents:

• Preface
• Initialization and Finalization
• Modeling with iZ-C
  • Domain Variable (CSint type)
  • Alphametic
• Tree-Search and Constraint Propagation
• Define a New Constraint using Demons
• Examples
  • Image Decoding
  • Multi Magic Square
  • Sgn Constraint