bex/
lib.rs

1//! A crate for working with boolean expressions.
2
3#![allow(clippy::many_single_char_names)]
4
5#[macro_use] extern crate log;
6extern crate simplelog;
7extern crate rand;
8extern crate dashmap;
9extern crate boxcar;
10extern crate fxhash;
11extern crate concurrent_queue;
12
13pub mod base;   pub use crate::base::{Base, GraphViz};
14pub mod vid;
15pub mod nid;    pub use crate::nid::{NID,I,O};
16pub mod fun;    pub use crate::fun::Fun;
17pub mod reg;    pub use crate::reg::Reg;
18pub mod vhl;
19pub mod wip;
20pub mod ops;
21pub mod cur;
22pub mod simp;
23pub mod ast;
24pub mod bdd;    pub use crate::bdd::BddBase;
25pub mod solve;
26pub mod apl;
27pub mod int;
28pub mod io;
29pub mod anf;
30pub mod swap;
31pub mod swarm;
32pub mod vhl_swarm;
33pub mod naf;