HomeSearchLibrary
Quadratic unconstrained binary optimization | OmniWiki