Expand description
CNF emission for PIR via Tseitin encoding (DIMACS).
Structs§
- CnfEncoding
- CnfFormula
- A CNF formula in DIMACS-style representation.
Functions§
- canonical_
pir_ hash - Compute a process-independent canonical hash of the PIR structure.
- encode_
cnf