23prime / latex-semantic-parser

latex-equivalencer

Use CLI

$ cargo run 'x y + z' 'y x + z'

If use --release target:

$ cargo run --release 'x y + z' 'y x + z'

Debug by Evcxr

You can debug by Evcxr Rust REPL.

$ cd /path/to/latex-equivalencer
$ evcxr
Welcome to evcxr. For help, type :help
>> :dep latex_equivalencer = { package = "latex-equivalencer", path = "." }
use latex_equivalencer::*
use formula::Formula
>> Formula::parse("x + 1")

Test

$ cargo test --all -- --nocapture

Lint

$ cargo clippy --all-targets --all-features -- -D warnings -A clippy::needless_return

Format

$ cargo fmt --all -- --check

Check all

$ ./check.sh