https://9dok.net/document/qmjn8n95-multi-threaded-library-higher-weighted-decision-diagram-manipulation.html