BDD-based integer set representation