oxidd-manager-pointer 0.5.0

Pointer-based manager implementation for OxiDD
Documentation