crates.io "boolean-expression" keyword
View the packages on the crates.io package registry that are tagged with the "boolean-expression" keyword.
xdd 0.1.0
Decision diagrams including BDD, ZDD, MBDD, πDD and more for combinatorics.1 version - Latest release: over 2 years ago - 1.68 thousand downloads total - 9 stars on GitHub - 1 maintainer
a-tree 0.5.1
A dynamic data structure for efficiently indexing arbitrary boolean expressions7 versions - Latest release: 14 days ago - 6.38 thousand downloads total - 1 stars on GitHub - 1 maintainer
coolrule 0.1.0
A boolean expression evaluator. A Rust port of boolrule.1 version - Latest release: over 2 years ago - 1.56 thousand downloads total - 5 stars on GitHub - 1 maintainer
elastic_query 0.4.4 💰
convert bool expression to elasticsearch DSL8 versions - Latest release: about 7 years ago - 1 dependent repositories - 12 thousand downloads total - 51 stars on GitHub - 1 maintainer
boolean-logic 0.1.3
propositional logic evaluator that creates truth tables for propositional expressions4 versions - Latest release: over 1 year ago - 4.73 thousand downloads total - 4 stars on GitHub - 1 maintainer
biodivine-lib-bdd 0.6.2
A simple thread-safe implementation of basic binary decision diagrams.38 versions - Latest release: 5 months ago - 7 dependent packages - 5 dependent repositories - 65.3 thousand downloads total - 23 stars on GitHub - 3 maintainers
bex 0.3.0
A rust library for working with boolean expressions (syntax trees, decision diagrams, algebraic n...10 versions - Latest release: 12 months ago - 14.6 thousand downloads total - 33 stars on GitHub - 1 maintainer
bool_expr_parser 0.3.13
Boolean expresion parser and evaluation library1 version - Latest release: almost 4 years ago - 1.13 thousand downloads total - 1 stars on GitHub - 1 maintainer
Related Keywords
bdd
3
rust
3
rust-lang
2
rust-crate
2
boolean-logic
2
elastic
1
elasticsearch
1
sql
1
bool-logic
1
propositional-logic
1
truth-table
1
truth-table-generator
1
symbolic
1
diagram
1
anf
1
decision-diagrams
1
parser
1
bool_expr_parser
1
boolean
1
expression
1
dsl
1
pom
1
evaluator
1
tree-structure
1
scientific-paper
1
rust-library
1
boolean-algebra
1
a-tree
1
event-filtering
1
data-structures
1
data-structure
1
tree
1
multiset
1
set
1
zdd
1