MaxSat Lib, an archive of resources for MaxSat
research. Currently the library contains an extensive (and
mostly complete) collection of MaxSat instances, along with
some useful code for manipulating such instances.
Resources
MaxSat instances in standard format, a large collection is available.