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