A library for manipulating and evaluating Boolean expressions and BDDs
A dynamic data structure for efficiently indexing arbitrary boolean expressions
The library to generate Gate circuits.
The library to generate Gate circuits (second version).
Generate DIMACS CNF formula from operations (second version)
Generate DIMACS CNF formula from operations
Parse boolean expressions of tags for filtering and selecting
Rust bindings for the Espresso heuristic logic minimizer (UC Berkeley)
A SQL expression parser and evaluator in Rust
A simple thread-safe implementation of basic binary decision diagrams.
A fast, expressive rule-based filtering engine for Rust that evaluates boolean expressions over any data structure
Parser for SqlExprParser - Generated by CongoCC
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.