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
10
11
12
13
14
15
16
17
18
19

use super::super::BisectDials;
use super::multilevel_hg_bisect;

#[test]
fn an_invalid_hypergraph_imbalance_returns_the_backend_error() {
    let error = multilevel_hg_bisect(
        3,
        &[vec![0, 1], vec![1, 2]],
        None,
        BisectDials {
            imbalance: 0.51,
            base_seed: 0,
            effort_scale: 1.0,
        },
    )
    .expect_err("the imbalance exceeds one half");

    assert!(error.contains("imbalance") && error.contains("0.0..=0.5"));
}