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

Awesome Lists containing this project

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).