ZDD Ruby Package Documentation
zdd version: 1.1.0

revise history:
November 26, 2013 : first release
November 26, 2013

JST-ERATO MINATO Discrete Structure Manipulation System Project