https://github.com/potassco/foliage

🍁 Rust crate for first-order logic with integer arithmetics
https://github.com/potassco/foliage

Last synced: about 1 month ago
JSON representation

🍁 Rust crate for first-order logic with integer arithmetics

• Host: GitHub
• URL: https://github.com/potassco/foliage
• Owner: potassco
• License: mit
• Created: 2020-02-05T02:15:14.000Z (over 4 years ago)
• Default Branch: develop
• Last Pushed: 2020-12-09T13:12:59.000Z (over 3 years ago)
• Last Synced: 2024-05-11T18:01:07.732Z (about 2 months ago)
• Language: Rust
• Homepage:
• Size: 172 KB
• Stars: 6
• Watchers: 6
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.md

Lists

• awesome-rust-formalized-reasoning - foliage - first-order logic with integer arithmetics. (Projects / Libraries)

README

        
# foliage [![crates.io](https://img.shields.io/crates/v/foliage.svg?maxAge=3600)](https://crates.io/crates/foliage)

> First-order logic with integer arithmetics in Rust

This Rust crate provides an abstract syntax tree for first-order formulas with integer arithmetics.

## Supported Formulas

- Booleans values (`true` and `false`)

- predicates

- negated formulas

- comparisons of terms (<, ≤, >, ≥, =, ≠)

- implications and biconditionals

- conjunctions and disjunctions of formulas

- existentially and universally quantified formulas

## Supported Terms

- Boolean values (`true` and `false`)

- integers

- strings

- special integers (infimum and supremum)

- symbolic functions

- variables

- binary operations (addition, subtraction, multiplication, division, modulo, exponentiation)

- unary operations (absolute value, numeric negation)