This collection contains portions of HamLib: a library of Hamiltonians for benchmarking quantum algorithms and hardware. We currently support Hamiltonians for several optimization problems.
HamLib: Max-3-SAT
HamLib: MaxCut
HamLib: Travelling Salesperson Problem