oxidd-dump 0.5.0

Dump OxiDD decision diagrams to file
Documentation