HomeSearchLibrary
Integer linear programs | OmniWiki