Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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

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

Last synced: 14 days ago
JSON representation

Host: GitHub
URL: https://github.com/qnighy/logic-solver-rs
Owner: qnighy
License: mit
Created: 2021-04-25T12:37:02.000Z (over 3 years ago)
Default Branch: master
Last Pushed: 2023-01-09T08:05:38.000Z (almost 2 years ago)
Last Synced: 2024-10-03T12:23:15.870Z (about 1 month ago)
Language: Rust
Size: 232 KB
Stars: 44
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).