https://github.com/traxys/lore

lore is a tool to do operations on first order formulas
https://github.com/traxys/lore

Last synced: 9 days ago
JSON representation

lore is a tool to do operations on first order formulas

• Host: GitHub
• URL: https://github.com/traxys/lore
• Owner: traxys
• License: gpl-3.0
• Created: 2019-11-28T22:42:09.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2019-12-08T13:59:36.000Z (about 5 years ago)
• Last Synced: 2024-12-21T02:07:48.216Z (15 days ago)
• Language: Rust
• Size: 43 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# lore

Logical Ordinary Resolver of Expressions (it needed a name)

## Usage

```

cargo run

```

You can the type help to get some help

The syntax is using `for` for forall, `ex` for exists `&` for `and`, `|` for `or`, `=>` implies, `<=>` equivalence and `!` for not. for using variables the syntax is `$name`.