rslogic

coolrule

🧮 Boolean expression evaluation engine. A Rust port of boolrule.

const-eval

home for proposals in and around compile-time function evaluation

v_eval

Expression evaluator with context

arachne

prolog-rs

Minimal Prolog implemented in Rust

lrs

A library crate for resolving logical clauses in conjuctive normal form

sat-rs

A SAT solver written in Rust

nicod

Experimental logic programming system, written in Rust

rust-awk

Rust Implementation of Awk

kiam

Better syntax for if/else chains

gll

GLL parsing framework.

parsell

Parsell: an LL(1) parser combinator library for Rust

cryptominisat-rs

Rust bindings for CryptoMiniSat, a boolean satisfiability solver