propositional-tableau-solver-rs-0.1.0
- propositional-tableau-solver-rs 0.1.0
- Permalink
- Docs.rs crate page
- MIT
- Links
- crates.io
- Source
- Owners
- jieyouxu
- Dependencies
- colored ^1.9.3 normal
  
  log ^0.4.8 normal
  
  nom ^5.1.1 normal
  
  nom_locate ^2.0.0 normal
  
  paw ^1.0.0 normal
  
  pretty_env_logger ^0.4.0 normal
  
  structopt ^0.3.14 normal
  
  assert2 ^0.2.0 dev
- Versions
- 87.72% of the crate is documented
Platform
Feature flags

docs.rs

Rust

libprop_sat_solver0.1.0

Module variable

Module Items

Structs

In libprop_sat_solver::formula

libprop_sat_solver::formula

Module variable

Expand description

Propositional variable.

Structs§

Variable: A propositional formula variable.