sat-solver-0.2.1
- sat-solver 0.2.1
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- JacobJEdwards
- Dependencies
- bit-vec ^0.8.0 normal
  clap ^4.5.38 normal
  clap_complete ^4.5.51 normal
  fastrand ^2.3.0 normal
  itertools ^0.14.0 normal
  ordered-float ^5.0.0 normal
  rustc-hash ^2.1.1 normal
  smallvec ^1.14.0 normal
  tikv-jemalloc-ctl ^0.6.0 normal
  tikv-jemallocator ^0.6.0 normal
  walkdir ^2.5.0 normal
  criterion ^0.6.0 dev
- Versions
- 100% of the crate is documented
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

DecisionLevel

sat_solver0.2.1

In sat_solver::sat::cnf

sat_solver::sat::cnf

Type Alias DecisionLevel

pub type DecisionLevel = usize;

Expand description

Represents a decision level in the SAT solver’s search process.