lrs 0.1.1

Library for resolving (conjunctive) normal-form logical clauses
Documentation
  • Coverage
  • 77.78%
    14 out of 18 items documented0 out of 0 items with examples
  • Size
  • Source code size: 11.03 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 2.25 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Links
  • spacekookie/lrs
    0 0 10
  • crates.io
  • Dependencies
    • —
  • Versions
  • Owners
  • spacekookie

Logical Resolution Solver

Build Status Build status Crates.io Version Docs.rs

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