All BDD building and manipulation functionality
Module containing type definitions for the elements of the BDD: Nodes (DDNode, NodeID) and Variables (VarID)
Parsing of DIMACS input file format
Implementations of different static variable ordering strategies
Shortcut for
