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…
Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.
The boolean satisfaction and optimization library for .NET
Pseudo-Boolean Optimization Library for Julia
A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form
A backwards Game of Life solver with Integer Programming and SAT Solving
Add a description, image, and links to the pseudo-boolean topic page so that developers can more easily learn about it.
To associate your repository with the pseudo-boolean topic, visit your repo's landing page and select "manage topics."