logicng 0.1.0-alpha.3

A Library for Creating, Manipulating, and Solving Boolean Formulas
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

mod cache_config;
mod formula;
pub(crate) mod formula_cache;
mod formula_factory;
pub(crate) mod formula_factory_config;
mod literal;
pub(crate) mod operation_cache;
mod pbc_cc;
mod variable;

/// We deviate from the convention of putting unit tests in the source file in this case,
/// s.t. the files don't become too large
#[cfg(test)]
mod tests;

pub use cache_config::*;
pub use formula::*;
pub use formula_factory::*;
pub use formula_factory_config::*;
pub use literal::*;
pub use pbc_cc::*;
pub use variable::*;

pub use formula_cache::nary_formula_cache::NaryIterator;