https://github.com/SolarLiner/rs-logik

Propositional logic interpreter, inspired by https://github.com/64bit-lab/Logik, but wrote with the Better Langauge
https://github.com/SolarLiner/rs-logik

Last synced: about 1 month ago
JSON representation

Propositional logic interpreter, inspired by https://github.com/64bit-lab/Logik, but wrote with the Better Langauge

• Host: GitHub
• URL: https://github.com/SolarLiner/rs-logik
• Owner: SolarLiner
• License: mit
• Created: 2019-09-13T22:03:05.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2021-04-29T20:25:47.000Z (about 4 years ago)
• Last Synced: 2024-05-22T22:33:00.676Z (about 1 year ago)
• Language: Rust
• Size: 42 KB
• Stars: 0
• Watchers: 2
• Forks: 1
• Open Issues: 4

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - rs-logik - logik) - propositional logic interpreter. (Propositional logic / Libraries)