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 solver1 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