FBDD algorithm?

No comment from the developers…?