Skip to content
#

complete-solver

Star

Here is 1 public repository matching this topic...

marekpiotrow / UWrMaxSat

Star 22

UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main tracks (weighted and unweighted). In MaxSAT Evaluation 2020 it won the weighted main track. It has been created recently at the University of Wrocław. It is a complete solver for partial weighted MaxSAT instanc…

maxsat pseudo-boolean-solver maxsat-solver max-sat pseudo-boolean complete-solver
  • Updated Jul 14, 2024
  • C++

Improve this page

Add a description, image, and links to the complete-solver topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the complete-solver topic, visit your repo's landing page and select "manage topics."

Learn more