Top-Down ZDD Construction Library for Frontier-Based Methods