lrs

A library crate for resolving logical clauses in conjuctive normal form

MIT License

Downloads

Stars

View Code on GitHub Visit Website

Ecosystems: Rust

Issue Statistics

Past Year

All Time

Total Pull Requests

Merged Pull Requests

Total Issues

Time to Close Issues

N/A

about 23 hours

Package Rankings

Top 34.93% on Crates.io

Badges

Extracted from project README

Waffle.io - Columns and their card count

Related Projects

rust-how-do-i-start

Hand curated advice and pointers for getting started with Rust

05 Apr 2022 1,070

kcl

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

05 May 2022 1,243

loom

Concurrency permutation testing tool for Rust.

15 Dec 2018 1,873

slog

Structured, contextual, extensible, composable logging for Rust

12 Jun 2016 1,571

rspirv

Rust implementation of SPIR-V module processing functionalities

15 Oct 2016 444

prolog-rs

Minimal Prolog implemented in Rust

06 Sep 2024 39

sat-rs

A SAT solver written in Rust

26 Oct 2023 2

concordium-base

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

29 Mar 2021 21

jsonschema-rs

JSON Schema validation library

07 Mar 2020 451

skedge

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

24 Aug 2021 56

lc3tools-sys

Rust bindings for LC3Tools

16 Jun 2020 1

rslogic

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

31 Jan 2016 18

rust-web-developer-roadmap

Roadmap to becoming a Rust Web Developer in 2022

30 Apr 2019 1,798

sitewriter

A rust library to generate sitemaps.

22 Nov 2020 25

rust-skiplist

Implementation of Skip List for Rust

17 Jul 2017 5