Retourner au contenu associé (journal : Advent of Code 2025)
Posté par syj le 14 décembre 2025 à 21:09. En réponse au journal Advent of Code 2025. Évalué à 1.
Perso, j'ai utilisé Z3. Tu poses juste les équations et tu indiques le type d'optimisation que tu veux. çà m'a pris moins d'1h une fois que j'ai compris qu'il fallait que je pose çà sous forme d'équation.
Tu obtiens le résultat très rapidement.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Jour 10
Posté par syj . En réponse au journal Advent of Code 2025. Évalué à 1.
Perso, j'ai utilisé Z3. Tu poses juste les équations et tu indiques le type d'optimisation que tu veux.
çà m'a pris moins d'1h une fois que j'ai compris qu'il fallait que je pose çà sous forme d'équation.
Tu obtiens le résultat très rapidement.