The Constraint Programming code, solved by Minizinc. For EUROCRYPT-2024 accepted paper "Probabilistic Extensions: A One-Step Framework for Finding Rectangle Attacks and Beyond". The full version of code will coming soon.