lrs
| Crates.io | lrs |
| lib.rs | lrs |
| version | 0.1.1 |
| source | src |
| created_at | 2017-10-25 16:50:09.019074 |
| updated_at | 2017-10-25 20:00:51.986807 |
| description | Library for resolving (conjunctive) normal-form logical clauses |
| homepage | |
| repository | https://github.com/spacekookie/lrs/ |
| max_upload_size | |
| id | 36892 |
| size | 11,406 |
Katharina Fey (spacekookie)
documentation
https://docs.rs/lrs/
README
Logical Resolution Solver
Still early in development. Might break at any time for no reason. And all functionality not guaranteed. Have patience :)
What is this?
This is a crate that allows you to quickly (eh...more or less) solve logical equations (clauses) in conjunctive normal form for solvability.
This README is a stub for the repo for now. There are two crates here: the library which does all the heavy lifting and a cli tool which can be used to quickly resolve clauses in the terminal.
If you want to learn more about this check out the excellent wikipedia article