Merge pull request #287 from Crypto-TII/fix/fixing_calculate_componen…

…t_weight

FIX/fix: calculate_component_weight

claasp/cipher_modules/models/sat/sat_model.py

@@ -397,7 +397,7 @@ def fix_variables_value_constraints(fixed_variables=[]):
 
     def calculate_component_weight(self, component, out_suffix, output_values_dict):
         weight = 0
-        if ('MODADD' in component.description or 'AND' in component.description
+        if ('MODSUB' in component.description or 'MODADD' in component.description or 'AND' in component.description
                 or 'OR' in component.description or SBOX in component.type):
             weight = sum([output_values_dict[f'hw_{component.id}_{i}{out_suffix}']
                           for i in range(component.output_bit_size)])