vitri 0.2.0

CNF preprocessing and vtree construction (variable trees) for circuit compilation and model counting: preprocesses a DIMACS CNF, records the arithmetic to lift a model count back to the original, and builds a good vtree for it — for any d-DNNF/SDD/TDD compiler, or any model counter that takes a vtree.
Documentation 
1
2
3
4
5
6
7
8
9

//! Decomposition over its crate-root-nameable surface. Anything needing a
//! private or `pub(super)` item is tested beside its module instead.

mod bisect;
mod embedding;
mod preference;
mod primal_width;
mod selection_ctx;
mod td_to_vtree;