sat-solver-0.2.0
- sat-solver 0.2.0
- 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
Go to latest version
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

sat_solver0.2.0

In sat_solver::command_line

sat_solver::command_line

Module cli

Expand description

The cli module provides a command-line interface for the SAT solver.