HomeSearchLibrary
Two-level logic optimization | OmniWiki