pub fn encode_cnf(pir: &PirGraph, roots: &[PirNodeId]) -> Result<CnfEncoding>Expand description
Encodes the subgraph reachable from roots as a deterministic Tseitin CNF.
pub fn encode_cnf(pir: &PirGraph, roots: &[PirNodeId]) -> Result<CnfEncoding>Encodes the subgraph reachable from roots as a deterministic Tseitin CNF.