I'm reading this paper: /hal-01092574/ They use CP programing to find diferential characteristic for AES cipher. I am curious to know how we can implement this functionality using choco-solver. Is it possible to create a function that we can reuse multiple times for different tasks, making the process more efficient and streamlined? Thank you