cfallin / boolean_expressionLinks
A Rust library for manipulating and evaluating Boolean expressions and BDDs
☆31Updated 4 years ago
Alternatives and similar repositories for boolean_expression
Users that are interested in boolean_expression are comparing it to the libraries listed below
Sorting:
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆102Updated 7 months ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆166Updated last year
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆36Updated last week
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- home for proposals in and around compile-time function evaluation☆113Updated last month
- ☆58Updated 6 months ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆100Updated 2 weeks ago
- SAT solver written in Rust☆274Updated 3 years ago
- A simple, id-based arena☆125Updated last week
- 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 3 years ago
- ☆55Updated 5 months ago
- A pure Rust linear programming solver☆91Updated 5 years ago
- Propositional logic with types in Rust☆64Updated 2 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆106Updated 3 years ago
- Define compiler intermediate representation usable by external tools☆102Updated 2 months ago
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆187Updated 4 years ago
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆103Updated last year
- A graphical debugger for Rust MIR☆199Updated 3 years ago
- Easy SMT solver interaction☆34Updated 6 months ago
- Synthesis of Loop-free Programs in Rust☆66Updated 5 years ago
- A macro for defining type operators in Rust.☆66Updated 8 years ago
- SAW front end for the MIR language from rustc☆36Updated 5 years ago
- Token tree calling convention☆82Updated 3 years ago
- ☆46Updated 3 years ago
- a model of MIR and the Rust type/trait system☆325Updated this week
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated 2 years ago
- property testing and verification front-end for Rust☆225Updated 2 weeks ago
- UB-free and deterministic rustc fuzzer☆94Updated last month
- A different approach to an E-graph library☆28Updated 7 months ago
- (More or less) accurate floating point algorithms☆57Updated last year