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

Package Rankings

Top 34.93% on Crates.io

Badges

Extracted from project README

Waffle.io - Columns and their card count

Related Projects

rslogic

A logic programming library (inspired by uKanren) in Rust.

31 Jan 2016 18

skedge

Single-process scheduling: every(10).minutes()?.at(":17")?.run(...

24 Aug 2021 56

lc3tools-sys

Rust bindings for LC3Tools

16 Jun 2020 1

concordium-base

Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well ...

29 Mar 2021 21

loom

Concurrency permutation testing tool for Rust.

15 Dec 2018 1,873

kcl

KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io

05 May 2022 1,243

rust-web-developer-roadmap

Roadmap to becoming a Rust Web Developer in 2022

30 Apr 2019 1,798

slog

Structured, contextual, extensible, composable logging for Rust

12 Jun 2016 1,571

prolog-rs

Minimal Prolog implemented in Rust

06 Sep 2024 39

sitewriter

A rust library to generate sitemaps.

22 Nov 2020 25

jsonschema-rs

JSON Schema validation library

07 Mar 2020 451

sat-rs

A SAT solver written in Rust

26 Oct 2023 2

rust-skiplist

Implementation of Skip List for Rust

17 Jul 2017 5

rspirv

Rust implementation of SPIR-V module processing functionalities

15 Oct 2016 444

rust-how-do-i-start

Hand curated advice and pointers for getting started with Rust

05 Apr 2022 1,070

lrs