はじめに
iZ は効率的で拡張性のある制約解消ライブラリです。 iZ は資源割り当て、スケジューリング、プランニング、生産制御のような複雑な組み合わせ論的問題を宣言的に表現し、 解決することを目的としています。本版では、iZ のうちC言語用のライブラリ iZ-C について記述します。 このマニュアルは iZ-C のリファレンスであり、iZ-C で使うことのできるすべての関数を記述しています。
なお、iZ-C は以下の URL より入手可能です。
iZ は効率的で拡張性のある制約解消ライブラリです。 iZ は資源割り当て、スケジューリング、プランニング、生産制御のような複雑な組み合わせ論的問題を宣言的に表現し、 解決することを目的としています。本版では、iZ のうちC言語用のライブラリ iZ-C について記述します。 このマニュアルは iZ-C のリファレンスであり、iZ-C で使うことのできるすべての関数を記述しています。
なお、iZ-C は以下の URL より入手可能です。