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
mod append_vec;
mod lng_heap;
mod ms_clause;
mod ms_variable;
mod vector_functions;

pub use append_vec::*;
pub use lng_heap::*;
pub use ms_clause::*;
pub use ms_variable::*;
pub use vector_functions::*;

pub const LNG_VEC_INIT_SIZE: usize = 5;