Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/emilHof/mini-prop
https://github.com/emilHof/mini-prop
Last synced: 1 day ago
JSON representation
- Host: GitHub
- URL: https://github.com/emilHof/mini-prop
- Owner: emilHof
- License: mit
- Created: 2022-09-10T19:23:12.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2022-11-13T02:33:17.000Z (about 2 years ago)
- Last Synced: 2024-05-22T22:32:51.029Z (6 months ago)
- Language: Rust
- Size: 52.7 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE.txt
Awesome Lists containing this project
- awesome-rust-formalized-reasoning - mini-prop - prop) - CLI tool for parsing and processing LaTex formatted propositional statements. (Propositional logic / Libraries)
README
# Mini-Prop
Mini-Prop is a CLI tool for parsing [*LaTex*](https://www.latex-project.org/) 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
```