https://github.com/emilHof/mini-prop

https://github.com/emilHof/mini-prop

Last synced: 3 months 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 (almost 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

```