3 unstable releases
0.2.0 | Nov 13, 2022 |
---|---|
0.1.1 | Nov 8, 2022 |
0.1.0 | Nov 7, 2022 |
#6 in #propositional
7KB
124 lines
Mini-Prop
Mini-Prop is a CLI tool for parsing LaTex formatted propositional statements and performing normalization and analysis steps on them.
Installation
Crates.io:
$ cargo install mini-prop
From source:
Clone the main branch to your local mashine.
$ git clone https://github.com/emilHof/mini-prop.git && cd mini-prop
Build the binary with cargo.
$ cargo build --release
Move the binary into your path.
$ cp ./target/release/mini-prop /usr/bin/
Usage
There are currently two main ways of passing propositions. One is through the terminal itself.
$ mprop "A \land (B \lor C)" normal
Alternatively you can pass mini-prop
the path to a text file containing the propositions.
$ mprop -f ./path/to/file/props.txt normal
Dependencies
~3.5MB
~67K SLoC