boofun.analysis.certificates

Certificate utilities (exact search for modest n).

Functions

`certificate`(f, x)	Return a minimal certificate size and variables for input `x`.
`max_certificate_size`(f)	Maximum certificate size across inputs.

boofun.analysis.certificates.certificate(f: BooleanFunction, x: int) → Tuple[int, List[int]][source]: Return a minimal certificate size and variables for input x.

boofun.analysis.certificates.max_certificate_size(f: BooleanFunction) → int[source]: Maximum certificate size across inputs.