https://github.com/qnighy/logic-solver-rs

https://github.com/qnighy/logic-solver-rs

Last synced: about 2 months ago
JSON representation

Host: GitHub
URL: https://github.com/qnighy/logic-solver-rs
Owner: qnighy
License: mit
Created: 2021-04-25T12:37:02.000Z (about 4 years ago)
Default Branch: master
Last Pushed: 2023-01-09T08:05:38.000Z (over 2 years ago)
Last Synced: 2025-02-25T08:02:14.978Z (4 months ago)
Language: Rust
Size: 232 KB
Stars: 45
Watchers: 4
Forks: 3
Open Issues: 6
Metadata Files:
- Readme: README.md
- License: LICENSE

Awesome Lists containing this project

awesome-rust-formalized-reasoning - Logic solver - logic solver. (Projects / Provers and Solvers)

README

        ## Logic solver (work in progress)

![Proof example](docs/proof-example.png)

![Refutation example](docs/refutation-example.png)

See [manual (Japanese)](docs/manual.ja.md).