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.

pindakaas 0.1.0
Encoding Integer and Pseudo Boolean constraints into CNF
2 versions - Latest release: 19 days ago - 1.6 thousand 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: 19 days ago - 226 downloads total - 4 stars on GitHub - 1 maintainer
pindakaas-cadical 0.1.0
build of the Cadical SAT solver for the pindakaas crate
1 version - Latest release: 19 days ago - 236 downloads total - 4 stars on GitHub - 1 maintainer
pindakaas-kissat 0.1.0
build of the Kissat SAT solver for the pindakaas crate
1 version - Latest release: 19 days ago - 224 downloads total - 4 stars on GitHub - 1 maintainer
pindakaas-intel-sat 0.1.0
build of the Intel SAT solver for the pindakaas crate
1 version - Latest release: 19 days ago - 222 downloads total - 4 stars on GitHub - 1 maintainer
Related Keywords
boolean 5 encoding 5 logic 5 sat 5 satisfiability 5 cnf 5 sat-encodings 5