The structure function to analyze
Optional maximum cardinality for prime implicants
Optional file name in which to dump CNF models for pi generation.
Enumerates prime implicants of the given structure function.
Enumerates prime implicants of the given structure function.
A pair (z3Pis, dslPis) where z3Pis are the prime implicants translated as Z3BoolExpr and dslPis are the prime implicants translated as DslLit.
Class for enumrating prime implicants of a structure function.