Update challenge 2025 descriptions

Author: cyderize

public/challenge/2025/description_atlantis.txt

@@ -1,2 +1,6 @@
-Atlantis is a constraint-based local search solver, designed and implemented by the Optimisation Group of Uppsala University. Atlantis takes inspiration from Localizer, Comet, OscaR.cbls, Yuck, and Kangaroo. 
-The solver has mainly been developed by Frej Knutar Lewander (Department of Information Technology, Uppsala University), Gustav Björdal (Coupa Software), Pierre Flener (Department of Information Technology, Uppsala University), and Justin Pearson  (Department of Information Technology, Uppsala University).
+Atlantis is a constraint-based local search solver, designed and implemented by the Optimisation Group of Uppsala University. Atlantis takes inspiration from Localizer, Comet, OscaR.cbls, Yuck, and Kangaroo.
+
+The solver has mainly been developed by Frej Knutar Lewander (Department of Information Technology, Uppsala University), Gustav Björdal (Coupa Software), Pierre Flener (Department of Information Technology, Uppsala University), and Justin Pearson (Department
+ of Information Technology, Uppsala University).
+
+We thank Maarten Flippo, Max Perea Düring, Samuel Bodin, Viktor Bakken, Erik Braathen, and Jip Dekker for their contributions.

public/challenge/2025/description_fzn_picat_sat.txt renamed to public/challenge/2025/description_picatsat.txt

@@ -27,7 +27,7 @@ another.
 
 For the sat module, the Picat compiler translates constraints into a
 logic formula in the conjunctive normal form (CNF) for the underlying
-SAT solver (the Maple solver is used for the competition). Picat
+SAT solver (the Kissat solver is used for the competition). Picat
 employs the so called log-encoding for compiling domain variables and
 constraints.  For a domain with the maximum absolute value n, 
 log_2(n) Boolean variables are used. If the domain contains both
@@ -46,4 +46,4 @@ Optimizing SAT Encodings for Arithmetic Constraints,
 CP 2017
 
 We would like to thank Joachim Schimpf for sharing his FlatZinc parser
-with us and Sanders Hernandez for implementing the Maple interface.
+with us.

public/challenge/2025/results.js

@@ -82,7 +82,7 @@ export default function ResultsPage() {
               </li>
               <li>
                 <Link href="http://picat-lang.org">PicatSAT</Link> (
-                <Link href="description_fzn_picat_sat.txt">description</Link>).
+                <Link href="description_picatsat.txt">description</Link>).
               </li>
               <li>
                 <Link href="https://github.com/ConSol-Lab/pumpkin">