PrefaceΒΆ

iZ is an efficient and extendable library for Constraint Solving. iZ is dedicated to expressing declaratively and solving complex combinatorial problems such as resource allocation, scheduling, planning or production control.

This tutorial is an introduction to Constraint Solving, with some code samples written using iZ-C (C language version of iZ).

iZ-C is available from: