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

mod anonymizer;
mod cnf;
mod dnf;
mod nnf;
mod pure_expansion;
mod restriction;
mod simplification;
mod substitution;
mod subsumption;

pub use anonymizer::*;
pub(crate) use cnf::plaisted_greenbaum_on_solver::*;
pub use cnf::*;
pub use dnf::*;
pub use nnf::*;
pub use pure_expansion::*;
pub use restriction::restrict;
pub(crate) use restriction::restrict_lit;
pub use simplification::*;
pub use substitution::*;
pub use subsumption::*;