Docs.rs
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
Platform
i686-pc-windows-msvc
i686-unknown-linux-gnu
x86_64-apple-darwin
x86_64-pc-windows-msvc
x86_64-unknown-linux-gnu
Feature flags
Rust
About docs.rs
Privacy policy
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
☰
All crates
[
−
]
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