FBDD algorithm?

I support the request. IGV + FBDD could be a killer combo!