Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "pseudo-boolean" keyword

View the packages on the crates.io package registry that are tagged with the "pseudo-boolean" keyword.

veripb 3.0.0
VeriPB is a proof checker for verifying pseudo-Boolean certificates of satisfiability, unsatisfia...
1 version - Latest release: about 11 hours ago - 0 downloads total - 1 maintainer
pindakaas-cadical 0.2.0
build of the Cadical SAT solver for the pindakaas crate
2 versions - Latest release: 9 days ago - 699 downloads total - 4 stars on GitHub - 1 maintainer
pindakaas-derive 0.1.0
derive macros for the pindakaas crate to connect to SAT solvers
1 version - Latest release: 3 months ago - 524 downloads total - 4 stars on GitHub - 1 maintainer
pindakaas-kissat 0.2.0
build of the Kissat SAT solver for the pindakaas crate
2 versions - Latest release: 9 days ago - 609 downloads total - 4 stars on GitHub - 1 maintainer
pindakaas-intel-sat 0.2.0
build of the Intel SAT solver for the pindakaas crate
2 versions - Latest release: 9 days ago - 602 downloads total - 4 stars on GitHub - 1 maintainer
pindakaas 0.2.1
Encoding Integer and Pseudo Boolean constraints into CNF
4 versions - Latest release: 5 days ago - 2.25 thousand downloads total - 4 stars on GitHub - 1 maintainer
pyndakaas 0.2.1
Python bindings for the pindakaas crate
3 versions - Latest release: 5 days ago - 628 downloads total - 4 stars on GitHub - 1 maintainer
Related Keywords
satisfiability 7 boolean 6 encoding 6 logic 6 sat 6 cnf 6 sat-encodings 6 certification 1 checker 1 optimization 1