Closed SimonKlx closed 2 years ago
Changed the subgraph function generator for the z3 utils and copied the get_function_of_gate() function from the 4.0 version that takes internal nets into account. This seems to get rid of some bugs that occured when gathering boolean influences.
Changed the subgraph function generator for the z3 utils and copied the get_function_of_gate() function from the 4.0 version that takes internal nets into account. This seems to get rid of some bugs that occured when gathering boolean influences.