Crates.io | bex |
lib.rs | bex |
version | 0.2.0 |
source | src |
created_at | 2018-11-30 15:22:28.471563 |
updated_at | 2023-04-22 04:04:38.430223 |
description | A rust library for working with boolean expressions (syntax trees, decision diagrams, algebraic normal form, etc.) |
homepage | |
repository | https://github.com/tangentstorm/bex |
max_upload_size | |
id | 99387 |
size | 848,062 |
Bex is a rust crate for working with binary (Boolean) expressions.
This crate lets you build a complicated abstract syntax tree (AST) by working with individual Bit structs, or vectors that act like integers.
You can also "solve" these AST structures by converting them into various canonical representations:
J and Bex vs Primorial 15 is about converting "simple" factoring problems into boolean expressions and solving them with bex.
It covers the large factoring problems in examples/solve/bdd-solve.rs and the smaller tests in src/solve.rs
The main change here is that BddBase
is now 100 times faster, or more, depending on your CPU count.
The BddSwarm
structure has been heavily refactored, making use of the swarm
module, and also
extracting wip::WorkState
for tracking dependencies between concurrent work-in-progress operations.
For full changelog, see CHANGELOG.md.