Examples# Basic usage Enumerate derivative structures with composition and site constraints Performance comparison between direct and ZDD methods