cfallin / boolean_expression
A Rust library for manipulating and evaluating Boolean expressions and BDDs
☆31Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for boolean_expression
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆81Updated this week
- Propositional logic with types in Rust☆60Updated last year
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆147Updated 6 months ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆23Updated 7 months ago
- ☆25Updated 5 months ago
- ☆58Updated 2 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆30Updated last year
- Define compiler intermediate representation usable by external tools☆62Updated 5 months ago
- A different approach to an E-graph library☆22Updated last month
- Modular register allocator algorithms☆106Updated 2 years ago
- A simple, id-based arena☆114Updated last year
- A toy incremental computation framework☆15Updated 3 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆85Updated 2 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆55Updated 2 weeks ago
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10Updated 2 years ago
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- Proc macro derive to generate structs from enum variants.☆24Updated last year
- A pure Rust linear programming solver☆83Updated 4 years ago
- A not-yet-functional Rust parser written in LALRPOP.☆35Updated 7 years ago
- A perf script for helping to answer queries about how much time a given function occupies, where it is called from, and so forth.☆38Updated 6 years ago
- ☆28Updated last month
- Lift enum variants to the type-level.☆31Updated 3 years ago
- Transport-polymorphic, asynchronous session types for Rust☆60Updated 2 years ago
- Three implementations of Tarjan’s Union-Find☆17Updated 3 years ago
- ☆55Updated 5 months ago
- Map data structure whose keys are stored as ranges☆77Updated 8 months ago
- Efficient sampling with uniform probability☆32Updated 2 years ago
- A Rust data structure for efficient lower-bound lookups☆88Updated 8 months ago
- Modeling NLL and the Rust borrowck☆79Updated 7 years ago