はじめに
iZは効率的で拡張性のある制約解消ライブラリです。iZは資源割り当て、スケジューリング、 プランニング、生産制御のような複雑な組み合わせ論的問題を宣言的に表現し、 解決することを目的としています。 本版では、iZのうちC言語用のライブラリiZ-Cについて記述します。
本編は、iZ-Cを用いたコーディング例による制約処理入門のチュートリアルです。 本チュートリアルは、読者がC言語によるプログラミングについての基本的な知識を持っていることを想定して書かれています。 チュートリアル中で扱われるiZ-CのAPIに関しては、リファレンスマニュアルを随時参照してください。
なお、iZ-C は以下の URL より入手可能です。