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
7
8

#[allow(dead_code)]
pub mod expression_tree;

pub mod operator_notation;

pub mod prelude;

//∧ ∨ ¬ ➞ ⟷ ⋅