PV4 UWrMaxSata complete solver for partial weighted MaxSAT instances

Solver for MaxSAT and pseudo-Boolean problems

Application domain/field

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.

Links

Repository: https://github.com/marekpiotrow/UWrMaxSat

Last commit date

1 December 2021

Related papers

https://doi.org/10.1109/ICTAI50040.2020.00031 (ICTAI 2020)

Last publication date

November 2020

Related tools

"Since the version 1.3 you can merge the power of this solver with the SCIP solver, if you have a licence to use it"

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.