Update challenge minizinc v ersion

Author: cyderize

src/data/challenge/info.js

@@ -25,7 +25,7 @@ export const info = {
         </>,
       ],
       problemSubmissionDeadline,
-      minizinc: '2.9.2',
+      minizinc: '2.9.3',
       dates: [
         <>
           Registration opens: <strong>Now</strong>.

src/pages/challenge/2025/rules.mdx

@@ -20,8 +20,8 @@ export const challenge = info[year]
   ]}
 />
 
-These are the official rules for the MiniZinc Challenge {year}. Version 1.1.
-These rules were last updated on 16 May {year}.
+These are the official rules for the MiniZinc Challenge {year}. Version 1.2.
+These rules were last updated on 26 May {year}.
 
 ### Solver submission