Module cnf 

CNF emission for PIR via Tseitin encoding (DIMACS).

Structs

CnfEncoding

A Tseitin encoding together with maps from PIR identities to CNF variables.

CnfFormula

A CNF formula in DIMACS-style representation.

Functions

canonical_pir_hash

Compute a process-independent canonical hash of the PIR structure.

encode_cnf

Encodes the subgraph reachable from roots as a deterministic Tseitin CNF.