Repository of code for manipulating MaxSat instances. You will need a C++ compiler and CMake (relatively modern versions) to build and use these programs. Currently there are programs to convert instances into standard form, to verify solutions produced by a MaxSat solver, to convert MaxSat instances into Sat instances, and to convert new format MaxSat instances into old-format.