Package Usage: cargo: minisat
MiniSat Rust interface. Solves a boolean satisfiability problem given in conjunctive normal form.
14 versions
Latest release: over 5 years ago
1 dependent package
13,355 downloads total
View more package details: https://packages.ecosystem.code.gouv.fr/registries/crates.io/packages/minisat