master-keying / pblib
A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF
☆18Updated 8 months ago
Alternatives and similar repositories for pblib:
Users that are interested in pblib are comparing it to the libraries listed below
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)