Expand description
Worked examples, from counting to compiling on a vtree of your choice.
- Product configurations — Count the configurations rules allow, project them, and keep the circuit.
- Network reliability — Weigh assignments by probabilities to find how likely two sites stay connected.
- Distinct outputs — Encode a multiplier as clauses and count the products it outputs.
- Choosing a vtree — Compile one formula on several vtrees and compare the circuits.
Modules§
- catalog
- Count product configurations
- circuits
- Distinct outputs of a circuit
- reliability
- Network reliability
- vtree_
choice - Choosing a vtree