Logical solver

Logical solver is a rust library for solving and parsing logical equations.

Supported operations

*Variables can be one or more capital letters.

Usage

let expr = parse_expression("true => not false or (true and false)");
let result = enumerate(expr, HashMap::new());
assert_eq!(result, true);

let vars = vec!(String::from("A"), String::from("B"))
let expr = parse_expression("A => not B");
let states = permutate(vars);
let result = solve_truth_table(expr, vars);
assert_eq!(result, [true, true, true, false]);

For full examples check /examples folder. Run them with: cargo run --example <example_name>