logical_solver (cargo): Rust based logic parser, evaluator, and truth table constructor!
Keywords: parser|logic|solver|evaluator|truth-table