Module serialize 

contains representations of core datastructures that can be serialized

Structs

BDDSerializer

SDDAnd

SDDOr

SDDSerializer

SerBDD

VTreeSerializer

Enums

LogicalSExpr

SerBDDPtr

SerSDDPtr

SerVTree