2 チュートリアル

本チュートリアルでは、まずZDDの基本的な利用方法を示し、最後に応用例としてNクイーン問題の解法を示す。 示された実行例は、rubyスクリプトを記述して実行してもよいし、irbで一行ずつ実行してもよい。 なお、本チュートリアルの実行は、 ZDD ruby拡張ライブラリが既に正しくインストールされており、またrubyについての基本的な知識があることを前提としている。