clawgic 0.7.1

Logic engine for making, modifying, and evaluating expressions from sentential (propositional) logic. Support for predicate logic will be added later.
Documentation
1
2
3
4
5
6
pub use crate::operator_notation::OperatorNotation;
pub use crate::expression_tree::ExpressionTree;
pub use crate::expression_tree::ExpressionTreeError;
pub use crate::expression_tree::expression_var::ExpressionVar;
pub use crate::expression_tree::expression_var::ExpressionVars;
pub use crate::expression_tree::node::operator::Operator;