@sudoku-studio/pblib
MITWASM-based toolkit for encoding pseudo-boolean constraints into CNF for SAT solvers
71
Security score
0 known advisories in v0.0.4
OpenSSF Scorecard 1.4/10
Weekly downloads
—
Unpacked size
880.2 kB
Dependencies
0
Last publish
1 year ago
Security advisories
No known vulnerabilities affect v0.0.4.
OpenSSF ScorecardAug 3, 2026
- Code-Review0
- SAST0
- Maintained0
- Binary-Artifacts9
- CII-Best-Practices0
- Security-Policy0
- Fuzzing0
- License0
- Branch-Protection0