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
0.1.0
Platform
x86_64-unknown-linux-gnu
i686-unknown-linux-gnu
x86_64-pc-windows-msvc
x86_64-apple-darwin
i686-pc-windows-msvc
Feature flags
Releases
All Releases
Releases by Stars
Recent Build Failures
Build Failures by Stars
Release Activity
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
Rust Cookbook
Crates.io
The Cargo Guide
☰
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