本書は、2025年のXCSP3コンペティションの報告書です。この競技は制約ソルバーの成果を競うもので、CP'25(制約プログラミングの原則と実践に関する国際会議第31回)で結果が発表されました。報告書は110ページにわたり、出展された研究や参加者の成果が詳細に説明されています。著者にはGilles Audemard、Christophe Lecoutre、Emmanuel Loncaが名を連ねています。この競技は、人工知能の分野における制約解決技術の革新を促し、参加者間の技術と知識の共有を目的としています。