MaxSat Lib

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

  1. MaxSat instances in standard format, a large collection is available.
  2. Various programs for manipulating MaxSat instances.