Release v2.5.0

Added

• Non rectangular s-boxes support for milp models.
• Solvers options and modularity.
• Cp solvers names and method.

Changed

• Processing of intermediate outputs fixed for partial cipher creation method.
• Rearrange smt solver specifications.
• Rearrange sat solver specifications.
• Window size feature.

Fixed

• Fix create_bash_script.py for local installation after distribution change.
• Fix platform and gurobi version for m1.
• Or component cp linear propagation declarations.
• Remove concatenate component in kasumi.