Add new lightweight serializable tree.
Carrying ZDD tree representation computation over to light trees.
Add public interface to ZDD operations.
Standardize cache names.
Standardize cache names.
Encapsulate ZDD number construction into ZDDTerm.
Standardize cache names.
Keep on refactoring ZDDNumber operations, encapsulating some into
ZDDTree.
Standardize cache names.
Refactor operations using ZDDTerm class.
zcube.clj build broken at the moment.
Fix clojure interface and documentation, for the ZDDTerm based API.
Add suppress warning annotations.
Remove deprecated API.
Move ZDD generation algorithm to ZDDTreeL.
Remove completely ZDD computation algorithm from ZDDTree.
Fix ZDDTerm deserialization.
Fix ZDDTreeL serialization.
Remove obsolete serialization logic from ZDDTree.
Remove deprecated API.
Introducing the bulk operations API.
Document the bulk operations API.