Module formulas 

representation of boolean logic formulas.

This module houses the most basic representation of formulas for the library. This includes how a literal is formed, how clauses and cubes are represented, and finally how a cnf is represented.

Re-exports

pub use clause::Clause;

pub use cnf::CNF;

pub use cube::Cube;

pub use literal::Literal;

Modules

clause

cnf

cube

literal