ZDD Ruby Package Documentation ZDD version: 1.1.0
Revision history:November 26, 2013 : First release January 20, 2014
JST-ERATO MINATO Discrete Structure Manipulation System Project