https://github.com/hargoniX/obvious

A (for now) logic prover I made for fun because...uni basically.
https://github.com/hargoniX/obvious

Last synced: about 2 months ago
JSON representation

A (for now) logic prover I made for fun because...uni basically.

• Host: GitHub
• URL: https://github.com/hargoniX/obvious
• Owner: hargoniX
• License: gpl-3.0
• Created: 2020-10-17T20:20:45.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2020-10-29T16:19:14.000Z (almost 4 years ago)
• Last Synced: 2024-05-22T20:31:10.055Z (4 months ago)
• Language: Rust
• Size: 42 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - Obvious - simple little logic solver and calculator. (Projects / Provers and Solvers)

README

        
# Obvious

Just my simple little logic solver and calculator....after all logic is all obvious isn't it?

## Usage

Most of the features of this crate are showcased in `examples/`.

For the performance of the parallel vs the non parallel calculator for truth tables you can check out

`benches/truth_table_benchmark.rs`. The results on my machine look as follows:

TODO: Add image

So it appears the parallel calculator outperform the non parallel one by a factor of 2-ish.