https://github.com/qnighy/logic-solver-rs
https://github.com/qnighy/logic-solver-rs
Last synced: about 1 month 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 (3 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)

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