2 Tutorial

This tutorial starts with the basic functions of ZDD, followed by an application example on how to solve the N-Queens problem. The examples can be executed with Ruby script or experimented from command line interactively using irb. This tutorial requires some basic knowledge of Ruby and you should have already installed ZDD Ruby Extension Library.