logical_solver 1.0.2

Rust based logic parser, evaluator, and truth table constructor!
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21


use logical_solver::{parse_expression, evaluate};
use std::collections::HashMap;
use std::io;
use std::io::Write;

fn main() {
    print!("Enter equation> ");
    io::stdout().flush().unwrap();
    let mut user_expr = String::new();
    io::stdin()
        .read_line(&mut user_expr)
        .expect("Failed to read from stdin");

    let expr = parse_expression(user_expr.as_str()).unwrap(); 
    
    let state = HashMap::new();

    let result = evaluate(expr, state);
    println!("{}", result);
}