bex

Crates.iobex
lib.rsbex
version0.2.0
sourcesrc
created_at2018-11-30 15:22:28.471563
updated_at2023-04-22 04:04:38.430223
descriptionA rust library for working with boolean expressions (syntax trees, decision diagrams, algebraic normal form, etc.)
homepage
repositoryhttps://github.com/tangentstorm/bex
max_upload_size
id99387
size848,062
tangentstorm (tangentstorm)

documentation

https://docs.rs/bex/

README

bex : binary expression toolkit

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:

  • reduced, ordered, binary decision diagrams (ROBDDs) -- a normal form consisting of if-then-else triples that essentially act like compressed truth tables
  • algebraic nomal form -- an "xor of ands" polynomial form
  • (more coming in the future)

Video introduction

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

Changes in 0.2.0

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.

Commit count: 659

cargo fmt