PV4 ⊧ UWrMaxSata complete solver for partial weighted MaxSAT instances

Solver for MaxSAT and pseudo-Boolean problems

Application domain/field

• MaxSAT problems
• Pseudo-Boolean problems

Type of tool

Solver

Expected input

MaxSAT or pseudo-Boolean problem

Format:

.wcnf (MaxSAT) input file format or old variant of the OPB file format (.opb).

Expected output

s SATISFIABLE, c SATISFIABLE, s UNSATISFIABLE , s OPTIMUM FOUND or s UNKNOWN There is an option to print (more verbose) output to a file.

Internals

Uses COMiniSatPS, which can be replaced with CaDiCaL or Glucose or mergesat. Integrates the MaxPre preprocessor.

Comments

This was created as an extension of MiniSat+. It was extended such that it could deal with MaxSAT instances.