Skip to main content

Module cnf

Module cnf 

Source
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