bex 0.3.0

A rust library for working with boolean expressions (syntax trees, decision diagrams, algebraic normal form, 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
25
26
27
28
29
30
31
32
33

//! A crate for working with boolean expressions.

#![allow(clippy::many_single_char_names)]

#[macro_use] extern crate log;
extern crate simplelog;
extern crate rand;
extern crate dashmap;
extern crate boxcar;
extern crate fxhash;
extern crate concurrent_queue;

pub mod base;   pub use crate::base::{Base, GraphViz};
pub mod vid;
pub mod nid;    pub use crate::nid::{NID,I,O};
pub mod fun;    pub use crate::fun::Fun;
pub mod reg;    pub use crate::reg::Reg;
pub mod vhl;
pub mod wip;
pub mod ops;
pub mod cur;
pub mod simp;
pub mod ast;
pub mod bdd;    pub use crate::bdd::BddBase;
pub mod solve;
pub mod apl;
pub mod int;
pub mod io;
pub mod anf;
pub mod swap;
pub mod swarm;
pub mod vhl_swarm;
pub mod naf;