minisat-0.4.4
Platform
- x86_64-apple-darwin
- x86_64-unknown-linux-gnu
Feature flags

Rust

minisat 0.4.4

MiniSat Rust interface. Solves a boolean satisfiability problem given in conjunctive normal form.

Crate
Source
Builds
Feature flags

lib
src
.cargo_vcs_info.json
.gitignore
.gitmodules
build.rs
Cargo.lock
Cargo.toml
Cargo.toml.orig
LICENSE
README.md
wrapper.h

/target
**/*.rs.bk
Cargo.lock