bex 0.1.3

A rust library for working with boolean expressions (expression trees, decision diagrams, etc.)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

//! A crate for working with boolean expressions.

#[macro_use] extern crate log;
extern crate bincode;
#[macro_use] extern crate serde_derive;
extern crate serde;
extern crate fnv;
extern crate hashbrown;
extern crate simplelog;

/// The core library, and support for boolean expressions as abstract syntax trees.
pub mod base;
pub use base::*;

/// Misc helper routines inspired by the APL family of programming languages.
pub mod apl;
/// Binary decision diagrams.
pub mod bdd;
/// Working with arrays of bit structures as if they were integers.
pub mod int;
/// Input/output support for the other modules.
pub mod io;
/// solve AST-based expressions by converting them to BDDs.
pub mod solve;