mini-prop
| Crates.io | mini-prop |
| lib.rs | mini-prop |
| version | 0.2.0 |
| created_at | 2022-11-07 19:58:24.573066+00 |
| updated_at | 2022-11-13 02:35:19.684626+00 |
| description | A lightweight CLI to parse and analyze propositional statements. |
| homepage | https://github.com/emilHof/mini-prop |
| repository | https://github.com/emilHof/mini-prop |
| max_upload_size | |
| id | 707434 |
| size | 18,324 |
(emilHof)
documentation
https://github.com/emilHof/mini-prop
README
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