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

crates.io "dpll" keyword

View the packages on the crates.io package registry that are tagged with the "dpll" keyword.

microsat 0.0.1
A simple DPLL SAT solver
1 version - Latest release: 8 months ago - 845 downloads total - 2 stars on GitHub - 1 maintainer
sat-solver 0.2.1
A SAT solver implemented in Rust, focusing on performance, efficiency and experimentation.
4 versions - Latest release: about 2 months ago - 2.89 thousand downloads total - 0 stars on GitHub - 1 maintainer