pseudo-boolean
Here are 8 public repositories matching this topic...
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…
- Updated
Jun 24, 2025 - C++
A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form
- Updated
Nov 4, 2025 - Rust
Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.
- Updated
Apr 5, 2025 - Haskell
The boolean satisfaction and optimization library for .NET
- Updated
Dec 19, 2023 - C#
Pseudo-Boolean Optimization Library for Julia
- Updated
Oct 25, 2024 - Julia
A backwards Game of Life solver with Integer Programming and SAT Solving
- Updated
Nov 14, 2024 - Julia
Pseudo boolean optimization problems converted from MINLPLIB2
- Updated
Jun 20, 2015 - Ruby
Pseudo-boolean optimization problems converted from QPLIB
- Updated
Apr 21, 2025 - Ruby
Improve this page
Add a description, image, and links to thepseudo-boolean topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thepseudo-boolean topic, visit your repo's landing page and select "manage topics."