#' Store for Zero-suppressed BDD nodes
#'
#' This environment stores objects of type 'zdd'
"zdd_store"
#' Store for ZDD operations
#'
#' This environment stores results of binary operations between ZDDs
"zdd_fxns"
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.