findminhs (cargo): An efficient branch-and-bound solver for hitting set
Keywords: solver|research|hitting-set|master-thesis|research-paper-implementation|rust