util.analyzers
Translates the structure function of a system represented by a z3 expression to a SAT-solver friendly formula in DIMACS or OPB format for prime implicant enumeration using external solvers.
Generates DIMACS and OPB files encoding the prime implicant enumeration problem to solve them using external solvers.
Translates the structure function of a system represented by a z3 expression to a SAT-solver friendly formula in DIMACS or OPB format for prime implicant enumeration using external solvers.