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
- About docs.rs
- Privacy policy

Rust

libprop_sat_solver0.1.0

Crate Items

Structs
Enums
Functions

List of all items

Structs

formula::variable::Variable
tableaux_solver::tableau::Tableau
tableaux_solver::theory::Theory

Enums

formula::operators::BinaryOperator
formula::operators::Operator
formula::operators::UnaryOperator
formula::propositional_formula::PropositionalFormula
tableaux_solver::ExpansionKind

Functions

tableaux_solver::is_satisfiable
tableaux_solver::is_valid