rustsat-tools-0.2.4
- rustsat-tools 0.2.4
- Docs.rs crate page
- MIT
- Links
- Repository
- crates.io
- Source
- Owners
- chrjabs
- Dependencies
- atty ^0.2.14 normal
  clap ^4.2.4 normal
  concolor-clap ^0.1.0 normal
  nom ^7.1.3 normal
  rand ^0.8.5 normal
  rand_chacha ^0.3.1 normal
  rustsat ^0.4.3 normal
  rustsat-cadical ^0.2.4 normal optional
  rustsat-minisat ^0.2.4 normal optional
  termcolor ^1.2.0 normal
- Versions
- 28.13% of the crate is documented
Go to latest version
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

rustsat_tools0.2.4

Solver

Aliased type

In crate rustsat_tools

Type Alias rustsat_tools::Solver

pub type Solver = Minisat;

Aliased Type§

struct Solver { /* private fields */ }