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

//! Configuration tested through the readers `config` keeps to itself. The
//! shape of a `RunConfig` and everything a caller can reach is tested from
//! `src/tests/config.rs` instead.

mod env_defaults;