Generate undisturbed bits inequalities for sboxes

truncated xor differential model, by using espresso. It uses the notion of undisturbed differential bits discussed in https://link.springer.com/chapter/10.1007/978-3-031-26553-2_3

The logic minimizer espresso is required for this module. It is already installed in the docker.

delete_dictionary_that_contains_inequalities_for_sboxes_with_undisturbed_bits()

generate_dict_product_of_sum_from_espresso(sbox, valid_points)

get_dictionary_that_contains_inequalities_for_sboxes_with_undisturbed_bits()

get_transitions_for_single_output_bit(sbox, valid_points, verbose=False)

update_dictionary_that_contains_inequalities_for_sboxes_with_undisturbed_bits(sbox, valid_points)